Grupos de Investigación

Mostrar:

Grupos de investigación por centros

Grupos de investigación por Ámbito

Grupos de investigación por Área AEI

Grupos de investigación por referencia

Información sobre Grupos UCM GR15/17


Búsqueda:

910606 DESIGN AND TESTING OF RELIABLE SYSTEMS

Centro: F. INFORMATICA  Acceso a su web
Ámbito - Área AEI: ÁREA DE EXPERIMENTALES - CIENCIAS DE LA COMPUTACIÓN Y TECNOLOGÍA INFORMÁTICA
Valoración - Transferencia: ACEPTABLE - Transferencia
Acrónimo - E_Mail: - mgmerayo@fdi.ucm.es
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