Automated statechart model checking
CSMISS IT Spotlight Series
2002-08-28
Conference paper
No indication
English
Statechart testing method for aircraft control systems
Tema Archive | 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
|