Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems
2nd, Automotive software workshop; Model-driven development of reliable automotive services, ASWSD 2006 ; 2006 ; San Diego, CA
Automotive software workshop; Model-driven development of reliable automotive services, ASWSD 2006 ; 4922 ; 118-132
2008-01-01
15 pages
Based on those presented at the conference. Includes bibliographical references and author index. Also issued online.
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Applying Verification and Validation to Automotive Software Development
SAE Technical Papers | 1990
|Software for Automotive Systems: Model-Integrated Computing
Springer Verlag | 2006
|Software for Automotive Systems: Model-Integrated Computing
British Library Conference Proceedings | 2006
|Hierarchical BIT: reusable BIT software for integrated systems
Tema Archive | 1990
|