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...
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: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014) -
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Publicado: (2014) -
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings /
Publicado: (2007) -
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings /
Publicado: (2013) -
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings /
Publicado: (2011)