AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms

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]

Authors

Abraham Cherfi

This author has not been identified. Look up 'Abraham Cherfi' in Google

Antoine Rauzy

This author has not been identified. Look up 'Antoine Rauzy' in Google

Michel Leeman

This author has not been identified. Look up 'Michel Leeman' in Google