Auto-Coding/Auto-Proving Flight Control Software
Conference; 23RD, Digital avionics systems:; Avionics systems: transitioning to the next generation ; 2004 ; Salt Lake City, UT
2004-01-01
6E4
Conference paper
English
Digital avionics systems , IEEE , DASC , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Auto-coding/auto-proving flight control software
IEEE | 2004
|Auto-coding UML statecharts for flight software
IEEE | 2006
|777 Auto Flight Director System
British Library Conference Proceedings | 1994
|Zuverlässige Software fürs Auto
Tema Archive | 2004
|