Formal methods for life-critical software
9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.
1993-01-01
Conference paper
Electronic Resource
English
Formal Methods for Life-Critical Software
British Library Conference Proceedings | 1993
|Formal Verification of Flight Critical Software
AIAA | 2005
|Formal methods in software engineering
Tema Archive | 1990
|