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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Berlín, Alemania :
Springer,
2008, c2008
|
| Collection: | (Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues)
5000. |
| Sujets: | |
| Accès en ligne: | Ver documento en línea |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: 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 /