Browsing by Author Pivetta, Paulo Junior Penna
Showing results 1 to 1 of 1
Issue Date | Preview | Title | Author(s) | Advisor | Program | Document Type |
---|---|---|---|---|---|---|
19-Mar-2010 | ![]() | Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos | Pivetta, Paulo Junior Penna | Dotti, Fernando Luís | Programa de Pós-Graduação em Ciência da Computação | Dissertação |