Proving Correctness of Autocoded Control Software AIAA Paper
CONFERENCE, Modeling and simulation technologies ; 2007 ; Hilton Head, S.C
2007-01-01
4879 pages
HELD ON CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Proving Correctness of Autocoded Control Software
AIAA | 2007
|Certifying Controls and Systems Software AIAA Paper
British Library Conference Proceedings | 2007
|