Departamento: Informática

Instituto/Centro: Instituto Universitario de Tecnología Industrial de Asturias

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: GIIS Grupo de Investigación en Ingeniería del Software

Email: tuya@uniovi.es

Persönliche Website: https://giis.uniovi.es/tuya/

Person: PABLO JAVIER TUYA GONZALEZ

Doktor von der Universidad de Oviedo mit der Dissertation Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. unter der Leitung von Dr. José Antonio Corrales González.