Formal Extensions to the Intent-Based Mode Confusion Detection Framework
AIAA Modeling and Simulation Technologies Conference
2015-01-01
Conference paper
Electronic Resource
English
Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
British Library Conference Proceedings | 2016
|