Department: Enxeñaría telemática

Centre: *Escola De Enxeñaría De Telecomunicación

Research center: ATLANTTIC

Campus: Vigo

Area: Telematics Engineering

Research group: Information Technologies Group

Email: jrial@det.uvigo.es

Doctor by the Universidade de Vigo with the thesis Contribución a la fase de prueba de sistemas concurrentes y distribuidos mediante técnicas de descripción formal 2001. Supervised by Dr. Martín Llamas Nistal.