A Compositional Safety Specification Using a Contract-Based Design Methodology
Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim
International Conference on Performance, Safety and Robustness in Complex Systems and Applications
2015
inproceedings
1-7
