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
01.01.1982
Sonstige
Keine Angabe
Englisch
Technology transfer issues for formal methods of software specification
Tema Archiv | 2000
|A formal method and environment for manufacturing systems command part specification and validation
British Library Online Contents | 1996
|Formal specification of the TCAS protocol
AIAA | 1993
|Formal Specification of Railway Control Systems
Springer Verlag | 2013
|