Criteria-Driven Approach in Automotive Software Development — Integrating Concepts of Formal Methods with Testing
WCXTM17 SAE world congress experience
2017-01-01
ALL-ALL
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
SAE Technical Papers | 2017
|Formal methods in automotive applications
Automotive engineering | 1990
|A systematic approach to testing automotive control software
Tema Archive | 2004
|A systematic approach to testing automotive control software
Automotive engineering | 2004
|A Systematic Approach to Testing Automotive Control Software
British Library Conference Proceedings | 2004
|