Using SPIN model checking for verification of flight software
IEEE Aerospace Conference 2003
10.03.2002
Aufsatz (Konferenz)
Keine Angabe
Englisch
2.0303 Using Spin Model Checking for Flight Software Verification
British Library Conference Proceedings | 2002
|