« Explorateur de modèle » : différence entre les versions
(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... ») |
Aucun résumé des modifications |
||
| Ligne 14 : | Ligne 14 : | ||
==Sources== | ==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). - | [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). - Explorateur de modèle]] | ||
[[Catégorie:Publication]] | [[Catégorie:Publication]] | ||
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
Contributeurs: Patrick Drouin, wiki
