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]

@inproceedings{BrunelFHLPSW17,
  title = {Performing Safety Analyses with AADL and AltaRica},
  author = {Julien Brunel and Peter H. Feiler and Jérôme Hugues and Bruce A. Lewis and Tatiana Prosvirnova and Christel Seguin and Lutz Wrage},
  year = {2017},
  doi = {10.1007/978-3-319-64119-5_5},
  url = {https://doi.org/10.1007/978-3-319-64119-5_5},
  researchr = {https://researchr.org/publication/BrunelFHLPSW17},
  cites = {0},
  citedby = {0},
  pages = {67-81},
  booktitle = {Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings},
  editor = {Marco Bozzano and Yiannis Papadopoulos},
  volume = {10437},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-64119-5},
}