Prova de Mestrado em Engenharia Informática

Requerida por BRUNO MIGUEL SOUSA CANCELINHA subordinada ao tema "Towards Model Checking Electrum Specifications with LTSmin", dia 10 de dezembro 2019 pelas 11:00, em Sala de Reuniões, Departamento de Informática, Gualtar.

Composição do júri:
Luís Paulo Peixoto Santos, Professor Auxiliar do Departamento de Informática da Escola de Engenharia de Universidade do Minho, que presidiu
Carla Maria Gonçalves Ferreira, Professora Auxiliar, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Manuel Alcino Pereira Cunha, Professor Auxiliar do Departamento de Informática da Escola de Engenharia de Universidade do Minho

Classificação:


Voltar