Identifícate

Grupos Investigadores/as Resultados

Foto de Juan José

Juan José
Sánchez Penas

Profesor Asociado

Perfil Publicaciones Colaboración Tesis

Tesis doctoral

From software architecture to formal verification of a distributed system 2006

Universidade da Coruña

Contactar
Aviso Legal

Biblioteca Universitaria
portalinvestigacion.biblioteca@udc.gal
Guía del Portal de investigación de la UDC

Investigar en la UDC
RUC: Repositorio de Universidade da Coruña

Con la colaboración de:

Fecha de última actualización de datos: 02-10-2024

Los documentos del portal se actualizan diariamente. Esta fecha hace referencia a la actualización de la información relacionada con la estructura del portal (personas, grupos de investigación, unidades organizativas, proyectos...).

Proyecto CRIS desarrollado en colaboración con la Fundación Dialnet (Universidad de La Rioja)