NARCISO
MARTÍ OLIET
Catedrático de universidad
Proxectos vixentes
-
Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas
NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ
Proxectos finalizados
2024
-
Synthesis of hybrid systems from multimodal datasets
NARCISO MARTÍ OLIET
2022
2020
2018
-
NEXT-GENERATION ENERGY-EFFICIENT SECURE SOFTWARE.
NARCISO MARTÍ OLIET
2015
-
TECNOLOGÍAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACIÓN ABIERTO Y FIABLE
NARCISO MARTÍ OLIET
2014
2012
-
DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO
NARCISO MARTÍ OLIET
2010
2009
-
PROGRAMA EN MÉTODOS PARA EL DESARROLLO DE SOFTWARE FIABLE DE ALTA CALIDAD Y SEGURO DE LA COMUNIDAD DE MADRID
NARCISO MARTÍ OLIET
-
RED MAUDE
NARCISO MARTÍ OLIET
2006
-
Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos.
NARCISO MARTÍ OLIET
-
Métodos y herramientas lógicas para el diseño y la verificación de Software Multi-Paradigma.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2003
-
DESARROLLO FORMAL DE SISTEMAS BASADOS EN AGENTES MOVILES Y EVALUACION DE RENDIMIENTOS.
DAVID DE FRUTOS ESCRIG
2000
-
DESARROLLO FORMAL DE SISTEMAS DISTRIBUIDOS
DAVID DE FRUTOS ESCRIG
1997
-
LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.
NARCISO MARTÍ OLIET