![Foto de ELVIRA MARÍA](/img/nophoto.png)
ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Current projects
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
Completed projects
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
-
ENVISAGE-FEI
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
2016
-
Engineering Virtualized Services
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