Proceedings of the 1st Workshop on Critical Automotive applications Robustness & Safety - CARS '10
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By ACM Press

9781605589152
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enforcing trust in control automotive platforms

2010 ◽  
Author(s):  
Christophe Jouvray ◽  
Grégoire Chartier ◽  
Nicolas François ◽  
Ismael Ripoll ◽  
Miguel Masmano ◽  
...  

Automatic allocation of safety integrity levels

2010 ◽  
Author(s):  
Y. Papadopoulos ◽  
H. Lonn ◽  
L. Berntsson ◽  
Rolf Johansson ◽  
F. Tagliabo ◽  
...  

Towards verification-based development of in-vehicle safety critical software

2010 ◽  
Author(s):  
Martijn M. H. P. van den Heuvel ◽  
Reinder J. Bril ◽  
Peter van de Velde ◽  
Johan J. Lukkien
Keyword(s):  
Vehicle Safety ◽  
Safety Critical

VESBA

2010 ◽  
Author(s):  
Artur Schiefer ◽  
Volker Gruhn ◽  
Ruslan Hrushchak
Load More ...
Sign in / Sign up

Export Citation Format

Share Document