Revista Brasileira de Informática na Educação (Brazilian Journal of Computers in Education)

Oliveira, José M. Parente de, Instituto Tecnológico de Aeronáutica, Brasil

• v. 17, n. 03 (2009) - Artigos
  Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
  Resumo  PDF

____________________________________________________________________________

Revista Brasileira de Informática na Educação (RBIE) (ISSN: 1414-5685; online: 2317-6121)
Brazilian Journal of Computers in Education (RBIE) (ISSN: 1414-5685; online: 2317-6121)