Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included. Manual and computer-based methods were employed. Keywords used in the online search are listed.
A bibliography on formal methods for system specification, design and validation
1982-01-01
Miscellaneous
No indication
English
Technology transfer issues for formal methods of software specification
Tema Archive | 2000
|A formal method and environment for manufacturing systems command part specification and validation
British Library Online Contents | 1996
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal specification of the TCAS protocol
AIAA | 1993
|