451 search results - page 1 / 91 » Engineering Abstractions in Model Checking and Testing |
SCAM
2009
IEEE
14 years 1 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
VSTTE
2005
Springer
14 years 10 days ago
2005
Springer
AMAST
2004
Springer
14 years 8 days ago
2004
Springer
FASE
2003
Springer
14 years 3 days ago
2003
Springer
