SAE International Journal of Passenger Cars - Electronic and Electrical Systems
2013 / 04 Vol. 6; Iss. 1
![](/img/cover-not-exists.png)
Hierarchical Accumulative Validation of Executable Control Specifications
Farnsworth, Jared, Ueda, Koichi, Mizuno, Hideaki, Yoshida, MichioVolume:
6
Language:
english
Journal:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems
DOI:
10.4271/2013-01-0430
Date:
April, 2013
File:
PDF, 4.61 MB
english, 2013