For abstract, see N77-29826.
Proving the correctness of the flight director program EADIFD. Volume 2: Proofs of paths 1-29
01.07.1977
Report
Keine Angabe
Englisch
Proving Correctness of Autocoded Control Software
AIAA | 2007
|Proving Correctness of Autocoded Control Software AIAA Paper
British Library Conference Proceedings | 2007
|