Πλοήγηση ανά Θέμα "Model checking"

Αποτελέσματα 1-1 από 1

Providing assistance during decision-making problems solving in an educational modelling environment

Politis, P.; Partsakoulakis, I.; Vouros, G.; Fidas, C. (2009)

In this paper we present the model-checking module of decision-making models in the frame of ModelsCreator, an educational modelling environment. The model-checking module aims to assist young students to construct qualitative ...