Portada » Grupos y líneas de investigación »  DESIGN AND TESTING OF RELIABLE SYSTEMS

Grupos y líneas de investigación

DESIGN AND TESTING OF RELIABLE SYSTEMS


   
 Centro: F. INFORMATICA  Acceso a su web
 Director/es:LLANA DIAZ, LUIS FERNANDO ; GARCIA MERAYO, MARIA DE LAS MERCEDES
 Miembros:CERRO CAÑIZARES, PABLO ; ESTEVEZ MARTIN, SONIA ; GREGORIO RODRIGUEZ, CARLOS ; MARROQUIN ALONSO, OLGA ; MARTINEZ TORRES, RAFAEL ; NUÑEZ COVARRUBIAS, ALBERTO ; NUÑEZ GARCIA, MANUEL ; PAREJA FLORES, CRISTOBAL ; PICKIN , SIMON JAMES; VALERO ESPADA, MIGUEL ANGEL ;
 Descripción:
 Líneas de investigación: Evaluación del Rendimiento; Testing de software y de protocolos; Diseño de Sistemas Concurrentes; Modelado de Sistemas de Comercio Electrónico
 Palabras clave: métodos formales; testing; testing formal; Testeado (semi)-automático de sistemas complejos; métodos formales para evaluación del rendimiento; especificación y testing de servicios web; Formal Methods; Evaluación del rendimiento
 Acceso a su web: Acceder