451 search results - page 1 / 91 » Engineering Abstractions in Model Checking and Testing |
SCAM
2009
IEEE
13 years 11 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
ICST
2010
IEEE
13 years 3 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
13 years 10 months ago
2005
Springer
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
FASE
2003
Springer
13 years 10 months ago
2003
Springer
