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: mlmgarci@ucm.es

Doktorin von der Universidad Complutense de Madrid mit der Dissertation Marcos temporales y probabilísticos para testing formal 2009. unter der Leitung von Dr. Manuel Núñez García, Dr. Robert M. Hierons.