For abstract, see N77-29826.
Proving the correctness of the flight director program EADIFD. Volume 2: Proofs of paths 1-29
1977-07-01
Report
No indication
English
Proving Correctness of Autocoded Control Software
AIAA | 2007
|Proving Correctness of Autocoded Control Software AIAA Paper
British Library Conference Proceedings | 2007
|