Abraham Cherfi, Antoine Rauzy, Michel Leeman. AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. 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 123-136, Springer, 2014. [doi]
Abstract is missing.