A Model-Based Safety Analysis of Dependencies Across Abstraction Layers.

Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung, Rasmus Adler

Browse the full SAFECOMP paper archive.