Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized...

Полное описание

Библиографическая информация
Опубликовано в: :Springer eBooks
Соавтор: SpringerLink (Online service)
Другие авторы: Ortmeier, Frank (Редактор), Rauzy, Antoine (Редактор)
Формат: Электронная книга
Язык:English
Публикация: Cham : Springer International Publishing : Imprint: Springer, 2014.
Серии:Lecture Notes in Computer Science,
Предметы:
Computer Science.
Software engineering.
Computer software.
Logic design.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Online-ссылка:http://dx.doi.org/10.1007/978-3-319-12214-4
Перейти в каталог НБ ТГУ
Оглавление:
  • Modeling Paradigms
  • Validation and Testing
  • Fault Detection and Handling
  • Safety Assessment in the Automotive Domain
  • Case Studies.

Похожие документы