164 search results - page 1 / 33 » Refinement and Verification of Real-Time Systems |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
FDL
2003
IEEE
13 years 10 months ago
2003
IEEE
CAV
2003
Springer
13 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
ISORC
2000
IEEE
13 years 8 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
DALT
2009
Springer
13 years 9 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...