Automated model checking with promela/spin
2nd Annual JPL IT Symposium
2002-11-04
Conference paper
No indication
English
Automated statechart model checking
NTRS | 2002
|2.0303 Using Spin Model Checking for Flight Software Verification
British Library Conference Proceedings | 2002
|