Grupo |
Membros |
Projecto |
Nota |
1 |
41000 - Eva Duarte |
Linha de Fabrico |
16 |
39834 - Daniel Gomes Mendes |
2 |
30717 - Fernando Morais |
P/T Nets em Haskell |
|
25332 - Rui Moutinho |
28126 - Sandra Oliveira |
3 |
34172 - Filipa Neves |
P/T Nets em Haskell |
|
41032 - Elísio Simão |
4 |
41029 - Adriana Santos |
Interface PNML para Haskell |
15 |
35812 - Carlos Vilhena |
36867 - Rui Valinho |
5 |
41028 - Samuel Silva |
Interface PNML para Haskell |
14 |
28154 - João Carmo |
7 |
35831 - João Cerqueira |
Conversão de P/T Nets para SMV |
15 |
41031 - Rui Gonçalves |
8 |
35816 - Davide Sousa |
Linha de Fabrico |
|
34559 - Sara Fernandes |
9 |
38621 - Simão Cunha |
Exclusão Mútua Distribuída |
|
39837 - Rui Almeida |
32738 - Paulo Magalhães |
10 |
41008 - Luís Rodrigues |
Exclusão Mútua Distribuída |
|
35846 - Márcio Azevedo |
35743 - Pedro Machado |
11 |
35866 - Tiago Carvalheira |
Editor de redes P/T em
wxHaskell |
|
35857 - Pedro Cunha |
12 |
33729 - Renato Ribeiro |
Editor de redes P/T em
wxHaskell |
18 |