Departamento: Sistemas Informáticos y Computación

Facultad: Informática

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

Área: Linguaxes e Sistemas Informáticos

Grupo de investigación: Design and Testing of Reliable Systems

Correo: mlmgarci@ucm.es

Doutora pola Universidad Complutense de Madrid coa tese Marcos temporales y probabilísticos para testing formal 2009. Dirixida por Dr. Manuel Núñez García, Dr/a. Robert M. Hierons.