Performing Safety Analyses with AADL and AltaRica

Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage. Performing Safety Analyses with AADL and AltaRica. In Marco Bozzano, Yiannis Papadopoulos, editors, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Volume 10437 of Lecture Notes in Computer Science, pages 67-81, Springer, 2017. [doi]

Authors

Julien Brunel

This author has not been identified. Look up 'Julien Brunel' in Google

Peter H. Feiler

This author has not been identified. Look up 'Peter H. Feiler' in Google

Jérôme Hugues

This author has not been identified. Look up 'Jérôme Hugues' in Google

Bruce A. Lewis

This author has not been identified. Look up 'Bruce A. Lewis' in Google

Tatiana Prosvirnova

This author has not been identified. Look up 'Tatiana Prosvirnova' in Google

Christel Seguin

This author has not been identified. Look up 'Christel Seguin' in Google

Lutz Wrage

This author has not been identified. Look up 'Lutz Wrage' in Google