Explorateur de modèle
(Redirigé depuis Model checker)
Définition
Dispositif permettant l’exploration d’un modèle d'apprentissage.
Français
explorateur de modèle
Anglais
model-checker
model checker
Sources
Contributeurs: Patrick Drouin, wiki