Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
tarafından
 
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

Başlık
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

ISBN
9783030328726

Edisyon
1st ed. 2019.

Fiziksel Niteleme
XI, 380 p. 236 illus., 101 illus. in color. online resource.

Seri
Programming and Software Engineering ; 11842

İçindekiler
Safety Models and Languages -- Dependability Analysis Process -- Safety Assessment -- Safety Assessment in Automotive Industry -- AI in Safety Assessment. .

Özet
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment. .

Konu Başlığı
Computer logic.
 
Software engineering.
 
Special purpose computers.
 
Architecture, Computer.
 
Microprogramming .
 
Computer security.
 
Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
 
Special Purpose and Application-Based Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I13030
 
Computer System Implementation. https://scigraph.springernature.com/ontologies/product-market-codes/I13057
 
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product-market-codes/I12018
 
Systems and Data Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28060

Yazar Ek Girişi
Papadopoulos, Yiannis.
 
Aslansefat, Koorosh.
 
Katsaros, Panagiotis.
 
Bozzano, Marco.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-030-32872-6


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