« Explorateur de modèle » : différence entre les versions


Aucun résumé des modifications
m (Patrickdrouin a déplacé la page Model-checker vers Explorateur de modèle)
(Aucune différence)

Version du 4 février 2025 à 15:44

Définition

Dispositif permettant l’exploration d’un modèle.

Français

explorateur de modèle

Anglais

model-checker

model checker

Sources

50 termes clés de l'intelligence artificielle, Ministère de la culture, Commission d'enrichissement de la langue française (2025). - Explorateur de modèle]

Récupérée de « https://datafranca.org/wiki/index.php?title=Explorateur_de_modèle&oldid=111529 »

Contributeurs: Patrick Drouin, wiki