Flight Deck Mode Confusion Detection Using Intent-based Probabilistic Model Checking (AIAA 2017-0345)
AIAA Information Systems-AIAA Infotech@Aerospace ; 2017 ; Grapevine, TX
2017-01-01
12 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
British Library Conference Proceedings | 2016
|