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
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
8696