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
|Timing Correctness in Safety-Related Automotive Software
SAE Technical Papers | 2011
|