Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim
International Conference on Performance, Safety and Robustness in Complex Systems and Applications
2015
inproceedings
1-7
SPES_XT Software Platform Embedded Systems 2020_XT(sorry - only available in German) MBAT Combined Model-based Analysis and Testing of Embedded Systems SAFE Safe Automotive soFtware architEcture