Planejamento baseado em Verificação Simbólica de Modelos
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_c14451f2-c561-4507-9d80-5b157126d39a
- CIÊNCIAS DA COMPUTAÇÃO Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2018-01-01