Flux RSS - La vie du site - Nouveautés et mises à jour
Assiste.com - Sécurité informatique - Décontamination - Antivirus - Protection - Protection de la Vie Privée Assiste.com - Sécurité informatique préventive - Décontamination - Antivirus - Protection - Protection de la Vie Privée

Explorateur de modèle (« Model-checker »)

Explorateur de modèle (« Model-checker »)

Terme français :

  • Explorateur de modèle (« Model-checker »)

Publication au JO (Journal Officiel de la République Française) :

  • 01 janv 2013

Terme utilisé en :

  • Informatique

Définition officielle :

  • Dispositif permettant l'exploration d'un modèle.

Voir également (terme(s) connexe(s)) :

Terme(s) étranger(s)

  • Model-checker (en)


Aide aux traductions et à la recherche

Explorateur de modèle (« Model-checker ») - Explorateur de modèle