A Pattern-based Approach towards Modular Safety Analysis and Argumentation

Maged Khalil, Bernhard Schätz und Sebastian Voss

Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France,

2014