TY  - BOOK
AU  - Zeller,Marc
AU  - Höfig,Kai
ED  - IMBSA (Symposium)
TI  - Model-based safety and assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings 
T2  - Lecture notes in computer science
SN  - 9783030589202
AV  - QA76.63 
U1  - 005.101/5113 23
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Computer science
KW  - Congresses
KW  - Computers, Special purpose
KW  - Software engineering
KW  - Algorithms
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
KW  - Informatique
KW  - Congrès
KW  - Ordinateurs spécialisés
KW  - Génie logiciel
KW  - Algorithmes
KW  - Logique informatique
KW  - Logique symbolique et mathématique
KW  - Artificial intelligence
KW  - bicssc
KW  - Information technology: general issues
KW  - Computer networking & communications
KW  - Computer programming
KW  - software development
KW  - Computers
KW  - Intelligence (AI) & Semantics
KW  - bisacsh
KW  - Data Processing
KW  - Networking
KW  - General
KW  - Programming
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; "Due to COVID-19 the conference could not take place as planned in Lisbon, Portugal. Instead IMBSA 2020 took place as a virtual conference."; Includes author index
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-030-58920-2
ER  -