451 search results - page 1 / 91 » Engineering Abstractions in Model Checking and Testing |
108
Voted
SCAM
2009
IEEE
15 years 7 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
96
Voted
ICST
2010
IEEE
14 years 11 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 ...
70
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
99
Voted
FASE
2003
Springer
15 years 6 months ago
2003
Springer
