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