Grupos y líneas de investigación

Mostrar:

Grupos de investigación (listado alfabético)

Líneas de investigación (listado alfabético)

Grupos de investigación por centros

Líneas de investigación por centros


Búsqueda:

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
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
Portal Bibliométrico:Acceder