FERNANDO
ROSA VELARDO
Profesor titular de universidad
Doktorego-tesia
-
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007
Universidad Complutense de Madrid
Zuzendutako tesiak (1)
-
Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias 2016
Universidad Complutense de Madrid
MARTOS SALGADO, MARÍA ROSA
Tesi epaimahaiak (5)
-
Epaimahaiko Secretario
Termination analysis of programs with complex control-flow 2021Universidad Complutense de Madrid
-
Epaimahaikidea
New perspectives on classical automata constructions 2020Universidad Politécnica de Madrid
Gutiérrez Viedma, Elena
-
Epaimahaiko Secretario
Semántica de simulación para relaciones de conformidad 2015Universidad Complutense de Madrid
-
Epaimahaiko Secretario
Formal methods applied to the analysis of phylogenies: Phylogenetic model checking 2014Universidad de Zaragoza
-
Epaimahaikidea
Contributions to the deadlock problem in multithreaded software applications observed as resource allocation systems 2013Universidad de Zaragoza
López Grao, Juan Pablo