JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Projectes vigents
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
Projectes finalitzats
2022
-
FORmal models and Technologies for Emerging applications.
ELVIRA MARÍA ALBERT ALBIOL
2021
-
Razonamiento formal para tecnologías facilitadoras y emergentes
ELVIRA MARÍA ALBERT ALBIOL
2018
-
SOLUCIONES EFECTIVAS BASADAS EN LA LÓGICA
ELVIRA MARÍA ALBERT ALBIOL
-
Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas
ELVIRA MARÍA ALBERT ALBIOL
2015
-
TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES
ELVIRA MARÍA ALBERT ALBIOL
2013
-
PROGRAMA DE METODOS RIGUROSOS DE DESARROLLO DE SOFWTARE DE LA COMUNIDAD DE MADRID
FRANCISCO JAVIER LÓPEZ FRAGUAS
2011
-
RESOLUCION DE RELACIONES DE COSTE UTILIZANDO TECNICAS DE ANALISIS DE PROGRAMAS
ELVIRA MARÍA ALBERT ALBIOL
2009
-
MÉTODOS FORMALES EN SISTEMAS SOFTWARE HETEROGÉNEOS
FRANCISCO JAVIER LÓPEZ FRAGUAS