Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
World congress, Society of Automotive Engineers; SAE 2012 world congress ; 2012 ; Detroit, MI
2012-01-01
2012-01-0503
SAE 2012-01-0001 - 2012-01-1499 held with gaps
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
SAE Technical Papers | 2012
|Parasitic Battery Drain Problems and AUTOSAR Acceptance Testing
SAE Technical Papers | 2018
|Frontloading Functional Testing of AUTOSAR-based Systems
Online Contents | 2013
|