A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design

BIB
Peter Battram and Bernhard Kaiser and Raphael Weber
1st International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS)
3 / 2015
inproceedings
185-197
SPES_XT
Software Platform Embedded Systems 2020_XT (sorry - only available in German)