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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ortmeier, Frank (Editor ), Rauzy, Antoine (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Programming and Software Engineering, 8822
Temas:
Computer science.
Software engineering.
Machine theory.
Compilers (Computer programs).
Algorithms.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Modeling Paradigms
  • Validation and Testing
  • Fault Detection and Handling
  • Safety Assessment in the Automotive Domain
  • Case Studies.

Ejemplares similares