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
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428947-1001 | QA76.9 .L63 | Springer E-Book Collection |