Formal requirements analysis of an avionics control system
- 1 May 1997
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 23 (5) , 267-278
- https://doi.org/10.1109/32.588520
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formalizing space shuttle software requirementsACM Transactions on Software Engineering and Methodology, 1998
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Towards a duration calculus proof assistant in PVSPublished by Springer Nature ,1994
- An extended duration calculus for hybrid real-time systemsPublished by Springer Nature ,1993
- Verification of real-time systems using PVSPublished by Springer Nature ,1993
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- A calculus of durationsInformation Processing Letters, 1991
- Programming real-time applications with SIGNALProceedings of the IEEE, 1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991