@article{943703,
      note = {International conference proceedings.},
      author = {Zeller, Marc. and Höfig, Kai.},
      url = {http://library.usi.edu/record/943703},
      title = {Model-based safety and assessment : 7th International  Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16,  2020, Proceedings /. IMBSA (Symposium)},
      publisher = {Springer,},
      abstract = {This book constitutes the proceedings of the 7th  International Symposium on Model-Based Safety and  Assessment, IMBSA 2020, held in Lisbon, Portugal, in  September 2020. The conference was held virtually due to  the COVID-19 pandemic. The 15 revised full papers and 4  short papers presented were carefully reviewed and selected  from 30 initial submissions. The papers are organized in  topical sections on safety models and languages;  state-space modeling; dependability analysis process;  safety assessment in automotive domain; AI and safety  assurance.},
      doi = {https://doi.org/10.1007/978-3-030-58920-2},
      recid = {943703},
      pages = {1 online resource},
      address = {Cham :},
      year = {2020},
}