produzido em
- https://brcris.ibict.br/individual/cour_57127f0f-f632-4c42-ba2f-e3e5aeb43d16
- CIÊNCIA DA COMPUTAÇÃO Programa de Pós-Graduação
Uma bilblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
tipo
- master thesis
autores
data de publicação
- 2010-01-01