25 Years of Model Checking : History, Achievements, Perspectives /
Contiene: 1) El nacimiento de la verificación de modelos. 2) El comienzo de la verificación de modelos: una perspectiva personal. 3) Transferencia de tecnología de verificación. 4) Nuevos desafíos en la verificación de modelos. 5) Una retrospectiva sobre Murϕ. 6) Verificación de modelos: de las herr...
Guardado en:
| Autor principal: | |
|---|---|
| Otros autores: | |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2008, c2008
|
| Colección: | (Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues)
5000. |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: 25 Years of Model Checking :
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
- Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
- Guide to Programming and Algorithms Using R /