Automated model checking with promela/spin
2nd Annual JPL IT Symposium
04.11.2002
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
|