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...
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2008, c2008
|
| Series: | (Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues)
5000. |
| Temas: | |
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos 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 /