Explorateur de modèle


Révision datée du 4 février 2025 à 15:44 par Patrickdrouin (discussion | contributions) (Page créée avec « ==Définition== Dispositif permettant l’exploration d’un modèle. ==Français== '''explorateur de modèle''' ==Anglais== '''model-checker''' '''model checker''' ==Sources== [https://www.culture.gouv.fr/content/download/365680/pdf_file/50_termes_cl%C3%A9s_de_l%27IA-2025.pdf?inLanguage=fre-FR&version=2 ''50 termes clés de l'intelligence artificielle'', Ministère de la culture, Commission d'enrichissement de la langue française (2025). - Données... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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). - Données FAIR]

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

Contributeurs: Patrick Drouin, wiki