High-Integrity Production Code Generation
AIAA Guidance, Navigation, and Control Conference and Exhibit
2003-01-01
Conference paper
Electronic Resource
English
Tools to Support High Integrity Code Generation
British Library Conference Proceedings | 1999
|Tools to support high integrity code generation
Automotive engineering | 1999
|Model Style Guidelines for Production Code Generation
SAE Technical Papers | 2005
|Production Code Generation for Safety-Critical Systems
British Library Conference Proceedings | 2004
|Automatic generation of production code for ECUs
Automotive engineering | 1999
|