Safety ADD: A Tool for Safety-Contract Based Design

2014 IEEE International Symposium on Software Reliability Engineering Workshops ◽

10.1109/issrew.2014.18 ◽

2014 ◽

Author(s):

Fredrik Warg ◽

Benjamin Vedder ◽

Martin Skoglund ◽

Andreas Soderberg

Download Full-text