Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
tarafından
 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

Başlık
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Yazar
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

ISBN
9783319641195

Edisyon
1st ed. 2017.

Fiziksel Niteleme
X, 273 p. 109 illus. online resource.

Seri
Programming and Software Engineering ; 10437

İçindekiler
Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies.

Özet
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.

Konu Başlığı
Logic design.
 
Software engineering.
 
Computer science.
 
Computer software.
 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
 
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021
 
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product-market-codes/I13030

Yazar Ek Girişi
Bozzano, Marco.
 
Papadopoulos, Yiannis.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-319-64119-5


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book221670-1001QA76.9 .L63Springer E-Book Collection