A Compositional Safety Specification Using a Contract-Based Design Methodology

Applications
Research
OFFIS
General

Home
OFFIS
Publikationen
A Compositional Safety Specification Using a Contract-Based Design Methodology

A Compositional Safety Specification Using a Contract-Based Design Methodology

Export

BIB

All authors

Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim

Booktitle

International Conference on Performance, Safety and Robustness in Complex Systems and Applications

Publishing date

2015

Type of Publication

inproceedings

Pages

1-7

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

Privacy Data Transparency Contact Legals