Reasoning-Supported Robustness Validation of Automotive E/E Components

Autor(en):

Novacek, J; Viehl, A; Bringmann, O; Rosenstiel, W

Tübinger Autor(en):

Erschienen in:

International Journal of Semantic Computing (2017), Bd. 11, H. 04, S. 473-496

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: