Verificação Automatizada de Programas Escritos em Sistemas de Raciocínio Procedural (PRS) Utilizando Redes de Petri Coloridas (RPCs)
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
tipo
- doctoral thesis
autores
data de publicação
- 2005-01-01
prêmio patrocinado pela
- Universidade Federal do Rio Grande Do Norte Organização