Model-Based Safety and Assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / edited by Marc Zeller, Kai Höfig

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Programming and Software Engineering ; 12297 | Springer eBook CollectionPublisher: Cham : Springer International Publishing, 2020Publisher: Cham : Imprint: Springer, 2020Edition: 1st ed. 2020Description: 1 Online-Ressource(XI, 255 p. 47 illus.)ISBN:

9783030589202

Subject(s):

Additional physical formats: 9783030589196 | 9783030589219 | Erscheint auch als: 9783030589196 Druck-Ausgabe | Erscheint auch als: 9783030589219 Druck-AusgabeDOI: DOI: 10.1007/978-3-030-58920-2Online resources:

Summary: This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.PPN: PPN: 1734626976Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record