Métodos Formais em Engenharia de Software |
---|
Cálculo de Sistemas de Informação |
Programação Ciber-física |
Verificação Formal |
Calendário | Sumários |
Anos anteriores |
Alumni |
Nome | NM |
---|---|
pg53595 | Afonso Franco Ferreira |
pg53598 | Afonso Miguel Rodrigues Magalhães |
pg53601 | Afonso Xavier Cardoso Marques |
a97027 | Artur Jorge Castro Leite |
pg51497 | Cláudia Peixoto Silva |
pg54468 | David José de Sousa Machado |
pg53766 | Diana Filipa Ferreira Malheiro Teixeira |
a94557 | Délio Miguel Lopes Alves |
pg53825 | Gabriel Alexandre Monteiro da Silva |
pg53840 | Gonçalo Lobo Freitas |
pg53849 | Gonçalo Vilar Vale |
pg53870 | Inês Daniela Alves Ferreira |
a95255 | José Diogo Lopes Faria |
pg53968 | José Fernando Monteiro Martins |
pg53971 | José Henrique Dias Monteiro |
pg53985 | José Rafael Cruz Ferreira |
pg53902 | João Afonso Alvim Oliveira Dias de Almeida |
pg50465 | João Augusto Macedo Moreira |
pg53915 | João Henrique Rodrigues Pestana do Vale |
pg53926 | João Miguel Pinheiro Machado |
pg50496 | João Pedro Rodrigues Carvalho |
a93318 | Jéssica Macedo Fernandes |
pg54042 | Maria Eugénia Bessa Cunha |
pg52693 | Maria Francisca Mendes Lemos |
pg50663 | Moisés Araújo Antunes |
pg54188 | Ricardo Lopes Santos Silva |
pg54210 | Rui Pedro Esteves Vasques Correia de Oliveira |
pg52704 | Tiago Adriano Pereira Feixa Gomes Moreira |
pg54257 | Tiago Miguel Moreira Bacelar Pereira |
pg54273 | Vitor Lelis Noronha Leite |
Aluno(s) | Tipo | Data e hora | Sala |
---|---|---|---|
Grupo G01 (João Afonso Alvim Oliveira Dias de Almeida, Rui Pedro Esteves Vasques Correia de Oliveira, Tiago Miguel Moreira Bacelar Pereira) | Defesa TP | 25-Jun, 10h00 | E7 0.05 |
Grupo G02 (Jéssica Macedo Fernandes, João Pedro Rodrigues Carvalho, Vitor Lelis Noronha Leite) | Defesa TP | 25-Jun, 11h00 | E7 0.05 |
Gonçalo Lobo Freitas | Oral T | 25-Jun, 12h15 | E7 0.05 |
João Augusto Macedo Moreira | Oral T | 25-Jun, 12h30 | E7 0.05 |
José Diogo Lopes Faria | Oral T | 25-Jun, 12h45 | E7 0.05 |
Defesas do TP:
Classificações removidas (RGPD artigo 17º)
Classificações removidas (RGPD artigo 17º)
Classificações removidas (RGPD artigo 17º)