Formal Methods for Life-Critical Software
9th Conference, Computing in aerospace 9 ; 1993 ; San Diego; CA
1993-01-01
11 pages
In 2 vols
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal methods for life-critical software
AIAA | 1993
|Formal Verification of Flight Critical Software
AIAA | 2005
|Formal methods in software engineering
Tema Archive | 1990
|Formal Specification of Software Critical Systems with Agents
British Library Conference Proceedings | 1995
|