Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
AIAA Infotech Aerospace Conference 2016 ; 2016 ; San Diego
2016-01-01
13 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2017
|