scholarly journals Model-Based Verification of Automotive Control Software

2009 ◽  
pp. 2-2 ◽  
Author(s):  
Rance Cleaveland
Keyword(s):  
Control Software ◽  
Automotive Control ◽  
Model Based ◽  
Automotive Control Software

Validating Automotive Control Software Using Instrumentation-Based Verification

2009 ◽  
Author(s):  
Arnab Ray ◽  
Iris Morschhaeuser ◽  
Chris Ackermann ◽  
Rance Cleaveland ◽  
Charles Shelton ◽  
...  
Keyword(s):  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software

Application of Model Checking to Automotive Control Software with Slicing Technique

2013 ◽  
Author(s):  
Masahiro Matsubara ◽  
Kohei Sakurai ◽  
Fumio Narisawa ◽  
Masushi Enshoiwa ◽  
Yoshio Yamane ◽  
...  
Keyword(s):  
Model Checking ◽  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software
Sign in / Sign up

Export Citation Format

Share Document