Provas de Mestrado Integrado em Engenharia Informática
Miguel Ramos Duque
Dissertação: Specification of a partial replication protocol with TLA+
Constituição do júri:
Presidente:
• Doutora Maria Cecília Farias Lorga Gomes, Professora Auxiliar da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Vogais:
• Doutor Manuel Alcino Cunha, Professor Auxiliar da Universidade do Minho
• Doutora Carla Maria Gonçalves Ferreira, Professora Auxiliar da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa