Marion Morel. Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures. In Frank Ortmeier, Antoine Rauzy, editors, Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings. Volume 8822 of Lecture Notes in Computer Science, pages 57-69, Springer, 2014. [doi]
Abstract is missing.