Model-Based Safety and Assessment
7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
-
- $54.99
-
- $54.99
Publisher Description
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.
GENRE
Computers & Internet
RELEASED
2020
September 3
LANGUAGE
EN
English
LENGTH
266
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
21.6
MB
Dependable Computer Systems
2011
Resilience Assessment and Evaluation of Computing Systems
2012
Trends in Applied Intelligent Systems
2010
Formal Methods Applied to Industrial Complex Systems
2014
Applications and Innovations in Intelligent Systems XII
2007
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
2021