174
click to vote
SFM
15 years 11 months ago
2004 Springer 
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
136
click to vote
SFM
15 years 11 months ago
2004 Springer 
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
122
click to vote
SFM
15 years 11 months ago
2004 Springer 
This is a tutorial paper on the tool Uppaal. Its goal is to
156
click to vote
SFM
15 years 11 months ago
2004 Springer 
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
|
Formal Methods