Automated model checking with promela/spin
2nd Annual JPL IT Symposium
2002-11-04
Aufsatz (Konferenz)
Keine Angabe
Englisch
Automated statechart model checking
NTRS | 2002
|2.0303 Using Spin Model Checking for Flight Software Verification
British Library Conference Proceedings | 2002
|Checking Automated-Welder Programs By Computer
NTRS | 1990
|