SFM
13 years 10 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...
SFM
13 years 10 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...
SFM
13 years 10 months ago
2004 Springer 
This is a tutorial paper on the tool Uppaal. Its goal is to
SFM
13 years 10 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...
|
Formal Methods