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
Sonstige
Keine Angabe
Englisch
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
|Technology transfer issues for formal methods of software specification
Tema Archiv | 2000
|Formal Specification of the TCAS Protocol
British Library Conference Proceedings | 1993
|British Library Conference Proceedings | 2000
|