PRECISE - Um Processo de VeRificação Formal para ModElos de CaracterístIcas de Aplicações Móveis e Sensíveis ao ContExto
Documento
- Visão geral
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- Master and Doctorate Program in Computer Science Programa de Pós-Graduação
tipo
- doctoral thesis
autores
data de publicação
- 2012-01-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DA PARAÍBA ( AREIA ) Organização