Requirements Analysis of a Quad-Redundant Flight Control System
- 8 April 2015
- book chapter
- Published by Springer Nature
- p. 82-96
Abstract
No abstract availableKeywords
All Related Versions
This publication has 6 references indexed in Scilit:
- Towards Realizability Checking of Contracts Using Theories2015
- Verifying the Safety of a Flight-Critical System2015
- Compositional Verification of Architectural Models2012
- Validation & Verification of Intelligent and Adaptive Control Systems2003
- About the Design of Distributed Control Systems: The Quasi-Synchronous Approach2001
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991