Departamento: Ciencias da Computación e Tecnoloxías da Información

Centro: Facultade de Informática

Área: Ciencia da Computación e Intelixencia Artificial

Grupo de investigación: Models and Applications of Distributed Systems

Correo el.: juan.jose.sanchez.penas@udc.es

Doutor pola Universidade da Coruña coa tese From software architecture to formal verification of a distributed system 2006. Dirixida por Dr/a. Víctor M. Gulías, Dr/a. Thomas Arts.