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

Peter Battram, Bernhard Kaiser, Raphael Weber

Browse the full REFSQ paper archive.