Reasoning-Supported Robustness Validation of Automotive E/E Components

Resource type
Conference
Author(s)
Jan Novacek and Alexander Viehl and Oliver Bringmann and Wolfgang Rosenstiel
Year
2017
Pages
220--226
Book title
11th IEEE International Conference on Semantic Computing, ICSC 2017, San Diego, CA, USA, January 30 - February 1, 2017
Online Sources
https://doi.org/10.1109/ICSC.2017.28
DOI
10.1109/ICSC.2017.28
Download .bib
Download .bib
Published by
Alexander Viehl