Using SPIN model checking for verification of flight software
IEEE Aerospace Conference 2003
2002-03-10
Conference paper
No indication
English
2.0303 Using Spin Model Checking for Flight Software Verification
British Library Conference Proceedings | 2002
|