Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : Proceedings /
Selección de ponencias que fueron presentadas en el cuarto Simposio Internacional sobre Evaluación y Seguridad Basado en Modelos, celebrado en Munich, Alemania, en octubre de 2014. Los artículos están organizados en secciones temáticas sobre paradigmas de modelado, validación y pruebas, detección y...
Furkejuvvon:
| Searvvušdahkki: | |
|---|---|
| Eará dahkkit: | , |
| Materiálatiipa: | Konfereansapublikašuvdna Girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Cham, Suiza :
Springer,
2014, c2014
|
| Ráidu: | (Lecture Notes in Computer Science ;
8822) |
| Fáttát: | |
| Liŋkkat: | Ver documento en línea |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Geahča maid: Model-Based Safety and Assessment :
- Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
- Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Software Technologies : 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : Revised Selected Papers /
- Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /
- Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /