Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion
AIAA Infotech @ Aerospace
01.01.2016
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
British Library Conference Proceedings | 2016
|