Enginyeria del programari. GRES-UOC
MAVERISH: Modeling, Analysis and Verification of Heterogeneous Systems
- Responsable: Orejas Valdés, Fernando
- Duració: 01/01/2002 - 31/12/2004
- Estat del projecte: acabat
Investigadors
-
Clarisó Viladrosa, Robert
- Orejas Valdés, Fernando
Entitats col·laboradores
- Ministerio de Educación y Ciencia