Proving Compliance of Implementation Models to Safety Specifications
Proving Compliance of Implementation Models to Safety Specifications
Markus Oertel, Omar Kacimi, Eckard Boede
Computer Safety, Reliability, and Security
9 / 2014
inproceedings
Springer International Publishing
Lecture Notes in Computer Science
97-107
SPES_XT Software Platform Embedded Systems 2020_XT MBAT Combined Model-based Analysis and Testing of Embedded Systems SAFE Safe Automotive soFtware architEcture