Towards verified automotive software.

Jewgenij Botaschanjan Leonid Kof C. Kühnel Maria Spichkova

Published in: ACM SIGSOFT Softw. Eng. Notes (2005)

Keyphrases

software development
computer systems
software systems
case study
safety critical
machine learning
driver assistance
hardware design
software design
embedded systems
user interface
personal computer
software developers
software components
software architecture
automotive industry
database