Proving Compliance of Implementation Models to Safety Specifications

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Applications
Services
Research
OFFIS
General

Home
OFFIS
Publikationen
Proving Compliance of Implementation Models to Safety Specifications

Proving Compliance of Implementation Models to Safety Specifications

Export

BIB

All authors

Markus Oertel, Omar Kacimi, Eckard Boede

Booktitle

Computer Safety, Reliability, and Security

Publishing date

9 / 2014

Type of Publication

inproceedings

Publisher

Springer International Publishing

Series

Lecture Notes in Computer Science

Pages

97-107

Projects

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

Url

http://link.springer.com/chapter/10.1007%2F978-3-319-10557-4_13#page-1

Editor

Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier

Edition

8696

Privacy Data Transparency Contact Legals