Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
22nd, Digital avionics systems conference; 22nd DASC ; 2003 ; Indianapolis, IN
01.01.2003
2D1
IEEE cat nos 03CH37449
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.