Model-Based Safety and Assessment

Model-Based Safety and Assessment
Author : Yiannis Papadopoulos
Publisher : Springer
Total Pages : 380
Release : 2019-10-18
ISBN 10 : 3030328716
ISBN 13 : 9783030328719
Language : EN, FR, DE, ES & NL

Model-Based Safety and Assessment Book Description:

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, 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.

Model-Based Safety and Assessment
Language: en
Pages: 380
Authors: Yiannis Papadopoulos
Categories: Computers
Type: BOOK - Published: 2019-10-18 - Publisher: Springer

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in Octob
Model-Based Safety and Assessment
Language: en
Pages: 273
Authors: Marco Bozzano
Categories: Computers
Type: BOOK - Published: 2017-09-01 - Publisher: Springer

​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September
Model-Based Safety and Assessment
Language: en
Pages: 380
Authors: Yiannis Papadopoulos
Categories: Computers
Type: BOOK - Published: 2019-10-11 - Publisher: Springer Nature

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in Octob
Model-Based Safety and Assessment
Language: en
Pages: 209
Authors: Frank Ortmeier
Categories: Computers
Type: BOOK - Published: 2014-09-24 - Publisher: Springer

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in
Model-Based Safety and Assessment
Language: en
Pages: 255
Authors: Marc Zeller
Categories: Computers
Type: BOOK - Published: 2020-09-03 - Publisher: Springer Nature

This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in Septembe
Computer Safety, Reliability, and Security
Language: en
Pages: 442
Authors: Janusz Górski
Categories: Computers
Type: BOOK - Published: 2006-09-22 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 25th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2006. The 32 revised
Optimization for Control, Observation and Safety
Language: en
Pages: 500
Authors: Guillermo Valencia-Palomo
Categories: Technology & Engineering
Type: BOOK - Published: 2020-04-01 - Publisher: MDPI

Mathematical optimization is the selection of the best element in a set with respect to a given criterion. Optimization has become one of the most used tools in
Model-Based Engineering of Collaborative Embedded Systems
Language: en
Pages: 404
Authors: Wolfgang Böhm
Categories: Computers
Type: BOOK - Published: 2020-12-14 - Publisher: Springer Nature

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlyi
Civil Aircraft Electrical Power System Safety Assessment
Language: en
Pages: 318
Authors: Peng Wang
Categories: Technology & Engineering
Type: BOOK - Published: 2017-06-12 - Publisher: Butterworth-Heinemann

Civil Aircraft Electrical Power System Safety Assessment: Issues and Practices provides guidelines and methods for conducting a safety assessment process on civ
Composing Model-based Analysis Tools
Language: en
Pages:
Authors: Robert Heinrich
Categories: Formal methods (Computer science)
Type: BOOK - Published: 2021 - Publisher: Springer Nature

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establ