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
|Automated model checking with promela/spin
NTRS | 2002
|Checking Automated-Welder Programs By Computer
NTRS | 1990
|