Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas

Revista Brasileira De Informática Na Educação

Sociedade Brasileira de Computação
Endereço:
Av. Bento Gonçalves, 9500 - Setor 4 - Prédio 43.412 - Sala 219 Bairro Agronomia
PORTO ALEGRE / RS
Site: http://www.br-ie.org/rbie
Telefone: (51) 3308-6835
ISSN: 14145685
Editor Chefe: André Raabe
Início Publicação: 31/12/1996
Periodicidade: Trimestral

Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas

Ano: 2009 | Volume: 17 | Número: 3
Autores: E. S. Ramos, J. M. P. de Oliveira
Autor Correspondente: Eliane Santiago Ramos | [email protected]

Palavras-chave: sistemas tutores inteligentes, aprendizagem baseada em problemas, redes de petri coloridas

Resumos Cadastrados

Resumo Português:

Apresenta-se neste trabalho uma abordagem de modelagem por Redes de Petri Coloridas para especifica


Resumo Inglês:

This research aims at presenting an approach of Color Petri Nets to formal specification and verifi


© 2024 Sumários.org. Todos os Direitos Reservados
Desenvolvido por  PWS & Host