Login / Signup

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

Eliane Santiago RamosJosé M. Parente de Oliveira
Published in: Revista Brasileira de Informática na Educ. (2009)
Keyphrases
  • problem based learning
  • real world
  • learning processes
  • project based learning
  • neural network
  • formal methods
  • formal analysis
  • real time
  • learning strategies
  • formal model