MARÍA DE LAS MERCEDES
GARCÍA MERAYO
Catedrática de universidad
Department: Sistemas Informáticos y Computación
Faculty: Informática
Centre/Institute: Instituto de Tecnología del Conocimiento (ITC)
Area: Computer Languages and Systems
Research group: Design and Testing of Reliable Systems
Email: mlmgarci@ucm.es
Doctor by the Universidad Complutense de Madrid with the thesis Marcos temporales y probabilísticos para testing formal 2009. Supervised by Dr. Manuel Núñez García, Dr. Robert M. Hierons.