- Artículo:
Performance Evaluation and Model Checking Join Forces
- Autor:
Christel Baier
Boudewijn R. Haverkort
Holger Hermanns
Joost-Pieter Katoen
- Resumen:
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
- Página:
76
- Publicación:
Communications of the ACM
- Volúmen:
53
- Número:
9
- Periodo:
Septiembre 2010
- ISSN:
00010782
- SrcID:
00010782-2010-09.txt
- Documento número 979928
- Actualizado el martes, 10 de julio de 2018 11:05:20 a. m.
- Creado el martes, 10 de julio de 2018 11:05:20 a. m.
- Enlace directo
