Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
Obra en dos volúmenes que reúne las ponencias del sexto Simposio internacional sobre el aprovechamiento de las aplicaciones de métodos formales, verificación y validación, celebrado en Corfú, Grecia, en octubre de 2014. Las contribuciones que se incluyen en esta segunda parte abordan líneas temática...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ;
8803) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Leveraging Applications of Formal Methods, Verification and Validation :
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /
- Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
- Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013 : Revised Selected Papers /
- Verification and Validation of Modern Software-Intensive Systems /
- Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
- Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : Proceedings /