Departamento: Informática

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

Domaine: Lenguajes y Sistemas Informáticos

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

Email: tuya@uniovi.es

Web personnel: https://giis.uniovi.es/tuya/

Personne: PABLO JAVIER TUYA GONZALEZ

Docteur à l Universidad de Oviedo avec la thèse Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995. Dirigée par Dr. José Antonio Corrales González.