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
|Verification of flight software with Karnough map-based checking
Tema Archive | 2007
|