Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistema Distribuídos
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- CIÊNCIA DA COMPUTAÇÃO Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2010-01-01