Proving Correctness of Autocoded Control Software
AIAA Modeling and Simulation Technologies Conference and Exhibit
2007-01-01
Conference paper
Electronic Resource
English
Proving Correctness of Autocoded Control Software AIAA Paper
British Library Conference Proceedings | 2007
|