Proving Correctness of Autocoded Control Software
AIAA Modeling and Simulation Technologies Conference and Exhibit
01.01.2007
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Proving Correctness of Autocoded Control Software AIAA Paper
British Library Conference Proceedings | 2007
|