Automotive Software: A Challenge and Opportunity for Model-Based Software Development

2006 ◽  
pp. 103-115 ◽  
Author(s):  
Gabor Karsai
Keyword(s):  
Software Development ◽  
Automotive Software ◽  
Model Based

Automotive Software Development: A Model Based Approach

2002 ◽  
Author(s):  
Martin Rappl ◽  
Peter Braun ◽  
Michael Von Der Beeck ◽  
Christian Schröder
Keyword(s):  
Software Development ◽  
Automotive Software ◽  
Model Based

Future Automotive Embedded Systems Enabled by Efficient Model-Based Software Development

2021 ◽  
Author(s):  
Juergen Schaefer ◽  
Herbert Christlbauer ◽  
Alexander Schreiber ◽  
Graham Reith ◽  
Mischa Jonker ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Software Development ◽  
Model Based

Integrating model checking and model based testing for industrial software development

2019 ◽  
Vol 104 ◽  
pp. 88-102 ◽  
Author(s):  
Emília Villani ◽  
Rodrigo Pastl Pontes ◽  
Guilherme Kisselofl Coracini ◽  
Ana Maria Ambrósio
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Model Based ◽  
Model Based Testing ◽  
Industrial Software
Sign in / Sign up

Export Citation Format

Share Document