Proving Compliance of Implementation Models to Safety Specifications

BIB
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 (sorry - only available in German)
MBAT
Combined Model-based Analysis and Testing of Embedded Systems
SAFE
Safe Automotive soFtware architEcture
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
8696