1. Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. (2017) Editors: Bozzano, Marco; Papadopoulos, Yiannis Other Names: IMBSA 2017 Record Type: Book Extent: 1 online resource (x, 273 pages 109 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗