DigiSeal - Um Estudo de Caso para Modelagem de Transações Temporais Assíncronas na Metodologia VeriSC.
Documento
- Visão geral
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_b0e7d86a-b179-4e20-9f09-25d648efa7ab
- CIÊNCIA DA COMPUTAÇÃO Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2008-01-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DE CAMPINA GRANDE Organização