Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN
2003-01-01
2D1
IEEE cat nos 03CH37449
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
|