Implementing a problem solving system for physics based on knowledge map and four steps problem solving strategies
Chang-Kai Hsu
Maiga Chang
Rita Kuo
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas