explorateur de modèle
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
- Locution composée de explorateur et de modèle.
Locution nominale [modifier le wikicode]
Singulier | Pluriel |
---|---|
explorateur de modèle | explorateurs de modèle |
\ɛk.splɔ.ʁa.tœʁ də mɔ.dɛl\ |
explorateur de modèle \ɛk.splɔ.ʁa.tœʁ də mɔ.dɛl\ masculin
- (Informatique) Dispositif permettant l’exploration d’un modèle.
Traductions[modifier le wikicode]
- Anglais : model-checker (en)
Prononciation[modifier le wikicode]
- France (Muntzenheim) : écouter « explorateur de modèle [Prononciation ?] »
- Vosges (France) : écouter « explorateur de modèle [Prononciation ?] »
Références[modifier le wikicode]
- « explorateur de modèle », FranceTerme, Délégation générale à la langue française et aux langues de France.