Flux RSS - La vie du site - Nouveautés et mises à jour
Assiste.com - Sécurité informatique - Vie privée sur le Web - Neutralité d'Internet Assiste.com - Sécurité informatique - Vie privée sur le Web - Neutralité d'Internet

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

Explorateur de modèle (« Model-checker ») - Terminologie officielle française publiée au Journal Officiel de la République française du 01 janv 2013 - équivalent étranger : 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