A formal methods approach to the analysis of mode confusion
- 27 November 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Specifying the mode logic of a flight guidance system in CoRE and SCRPublished by Association for Computing Machinery (ACM) ,1998
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995