451 search results - page 1 / 91 » Engineering Abstractions in Model Checking and Testing |
125
click to vote
SCAM
2009
IEEE
15 years 10 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
120
click to vote
ICST
2010
IEEE
15 years 1 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
15 years 8 months ago
2005
Springer
88
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
