451 search results - page 1 / 91 » Engineering Abstractions in Model Checking and Testing |
85
Voted
SCAM
2009
IEEE
15 years 4 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
ICST
2010
IEEE
14 years 8 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 ...
55
Voted
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
FASE
2003
Springer
15 years 2 months ago
2003
Springer
