The conference proceedings have been published by Springer in the Lecture Notes in Computer Science series, as volume LNCS 10437. The book is entitled "Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings". To access the proceedings, follow this link: https://link.springer.com/book/10.1007/978-3-319-64119-5 |