Model-based safety and assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings / Marc Zeller, Kai Höfig (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 12297. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Cham : Springer, 2020.Description: 1 online resourceContent type: - text
- computer
- online resource
- 9783030589202
- 303058920X
- IMBSA 2020
- Computer science -- Congresses
- Computers, Special purpose -- Congresses
- Software engineering -- Congresses
- Algorithms -- Congresses
- Computer logic -- Congresses
- Logic, Symbolic and mathematical -- Congresses
- Informatique -- Congrès
- Ordinateurs spécialisés -- Congrès
- Génie logiciel -- Congrès
- Algorithmes -- Congrès
- Logique informatique -- Congrès
- Logique symbolique et mathématique -- Congrès
- Artificial intelligence
- Information technology: general issues
- Computer networking & communications
- Computer programming -- software development
- Computers -- Intelligence (AI) & Semantics
- Computers -- Data Processing
- Computers -- Networking -- General
- Computers -- Programming -- General
- Algorithms
- Computer logic
- Computer science
- Computers, Special purpose
- Logic, Symbolic and mathematical
- Software engineering
- 005.101/5113 23
- QA76.63
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
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.
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.