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