Ingeniería del software. GRES-UOC.
MAVERISH: Modeling, Analysis and Verification of Heterogeneous Systems
- Responsable: Orejas Valdés, Fernando
- Duración: 01/01/2002 - 31/12/2004
- Estado del proyecto: finalizado
Investigadores
-
Clarisó Viladrosa, Robert
- Orejas Valdés, Fernando
Entidades colaboradoras
- Ministerio de Educación y Ciencia