157
click to vote
SFM
15 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...
124
Voted
SFM
15 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...
113
Voted
SFM
15 years 10 months ago
2004 Springer 
This is a tutorial paper on the tool Uppaal. Its goal is to
145
Voted
SFM
15 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...
|
Formal Methods