CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
Indarrean dauden proiektuak
-
Métodos rigurosos para el desarrollo de sistemas software de calidad y fiabilidad certificadas
NARCISO MARTÍ OLIET, FERNANDO RUBIO DÍEZ
Bukatutako proiektuak
2022
2021
-
CAVI-ART-2: Validación asistida de programas mediante análisis anotaciones demostraciones matemáticas y pruebas de ejecución
FRANCISCO JAVIER LÓPEZ FRAGUAS, RICARDO VICENTE PEÑA MARÍ
2018
-
Next-GeneRation Energy-EfficieNt Secure Software.
FRANCISCO JAVIER LÓPEZ FRAGUAS
2016
2014
2012
-
DESARROLLO DE SOFTWARE DE ALTA CALIDAD. FIABLE, DISTRIBUIDO Y SEGURO
NARCISO MARTÍ OLIET
2011
-
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING.
FRANCISCO JAVIER LÓPEZ FRAGUAS