Jan Novacek, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. Reasoning-Supported Robustness Validation of Automotive E/E Components. In 11th IEEE International Conference on Semantic Computing, ICSC 2017, San Diego, CA, USA, January 30 - February 1, 2017. pages 220-226, IEEE Computer Society, 2017. [doi]
Abstract is missing.