Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /

Saved in:

Bibliographic Details
Meeting name:	IMBSA (Symposium) (5th : 2017 : Trento, Italy)
Imprint:	Cham : Springer International Publishing, 2017.
Description:	1 online resource (x, 273 pages) : 109 illustrations
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 10437 Lecture notes in computer science ; 10437.
Subject:	Computer science -- Congresses. Computers, Special purpose -- Congresses. Software engineering -- Congresses. Algorithms -- Congresses. Computer logic -- Congresses. Logic, Symbolic and mathematical -- Congresses. Algorithms. Computer logic. Computer science. Computers, Special purpose. Logic, Symbolic and mathematical. Software engineering. Electronic books. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11361735

Hidden Bibliographic Details
Other authors / contributors:	Bozzano, Marco, editor. Papadopoulos, Yiannis (Professor of Computer Science), editor.
ISBN:	9783319641195 3319641190 9783319641188 3319641182
Digital file characteristics:	text file PDF
Summary:	This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.
Other form:	Printed edition: 9783319641188
Standard no.:	10.1007/978-3-319-64119-5

Similar Items