« Explorateur de modèle » : différence entre les versions
m (Patrickdrouin a déplacé la page Model-checker vers Explorateur de modèle) |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
Dispositif permettant l’exploration d’un [[modèle]]. | Dispositif permettant l’exploration d’un [[modèle d'apprentissage]]. | ||
==Français== | ==Français== | ||
Version du 4 février 2025 à 15:48
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
