Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings
tarafından
 
Ortmeier, Frank. editor.

Başlık
Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

Yazar
Ortmeier, Frank. editor.

ISBN
9783319122144

Fiziksel Niteleme
X, 209 p. 91 illus. online resource.

Seri
Lecture Notes in Computer Science, 8822

İçindekiler
Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment in the Automotive Domain -- Case Studies.

Özet
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 in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.

Konu Başlığı
Computer science.
 
Software engineering.
 
Programming languages (Electronic computers).
 
Algorithms.
 
Computer logic.
 
Mathematical logic.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Programming Languages, Compilers, Interpreters.
 
Algorithm Analysis and Problem Complexity.

Yazar Ek Girişi
Ortmeier, Frank.
 
Rauzy, Antoine.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-319-12214-4


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book21865-1001QA76.9 .L63Springer E-Book Collection