Reasoning-Supported Robustness Validation of Automotive E/E Components
- Autor(en)
- Novacek, Jan and Viehl, Alexander and Bringmann, Oliver and Rosenstiel, Wolfgang
- Zeitschrift
- International Journal of Semantic Computing
- Jahr
- 2017
- Ausgabe
- 11
- Heftnummer
- 04
- Seiten
- 473--496
- Verlag
- World Scientific Publishing Company
- Download .bib
- Download .bib
- Eingetragen von
- Alexander Viehl