Automated statechart model checking
CSMISS IT Spotlight Series
28.08.2002
Aufsatz (Konferenz)
Keine Angabe
Englisch
Statechart testing method for aircraft control systems
Tema Archiv | 2001
|Statechart-based representation of hybrid controllers for vehicle automation
IET Digital Library Archive | 2006
|Formal models of UML statechart diagrams based on Petri nets
British Library Online Contents | 2007
|Automated model checking with promela/spin
NTRS | 2002
|