3073 search results - page 65 / 615 » Real World Verification |
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
CAV
2001
Springer
13 years 11 months ago
2001
Springer
CAV
2003
Springer
13 years 11 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...