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
http://link.springer.com/chapter/10.1007%2F978-3-319-10557-4_13#page-1
Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
8696

OFFIS Autoren

Dipl.-Inform. Eckard Böde
Dipl.-Inform.
Eckard Böde