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
A formal method and environment for manufacturing systems command part specification and validation
British Library Online Contents | 1996
|Technology transfer issues for formal methods of software specification
Tema Archive | 2000
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|Formal Specification of the TCAS Protocol
British Library Conference Proceedings | 1993
|