FERNANDO
ROSA VELARDO
Profesor titular de universidad
Fachbereich: Sistemas Informáticos y Computación
Fakultät: Informática
Bereich: Computersprachen und Computersysteme
Forschungsgruppe: Diseño y análisis formal de sistemas de software
Email: frosavel@ucm.es
Doktor von der Universidad Complutense de Madrid mit der Dissertation Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos 2007. unter der Leitung von Dr. David de Frutos Escrig.