Fachbereich: Sistemas Informáticos y Computación

Fakultät: Informática

Zentrum/Institut: Instituto de Tecnología del Conocimiento (ITC)

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Design and Testing of Reliable Systems

Email: manuelnu@ucm.es

Doktor von der Universidad Complutense de Madrid mit der Dissertation Semánticas de pruebas para álgebras de procesos probabilísticos 1996. unter der Leitung von Dr. David de Frutos Escrig.