Embedded Systems

Reasoning-Supported Robustness Validation of Automotive E/E Components

by Jan Novacek, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In International Journal of Semantic Computing 11(04): 473–496. World Scientific Publishing Company, 2017.