Répondre aux marchés publics pour les PME : Formation, aide et assistance
sur tout le territoire (sur site ou à distance)
| Entreprises - PME : Répondre aux marchés publics (DC1, DC2, ATTRI1, DC4, mémoire technique, ...) | Acheteurs publics | |||||
| DATES | J01 Fondamentaux | J02 Répondre aux AO | J03 Réponse électronique | J04 Mémoire technique | Formations | Assistance |
| Répondre | Formations "Répondre aux AO pour les entreprises" - INTER, INTRA, sur site ou FOAD (Fondamentaux, réponse, formulaires, dématérialisation, mémoire technique) |
explorateur de modèle - model-checker
explorateur de modèle
Domaine : Informatique.
Définition : Dispositif permettant
l’exploration d’un modèle.
Voir aussi :
exploration de modèle.
Équivalent étranger : model-checker.
(Source : JORF n°0001 du 1 janvier 2013 - NOR: CTNX1242099K - Vocabulaire de l'informatique et de l’internet (liste de termes, expressions et définitions adoptés)
Voir également
TIC Technologies de l'information et des communications
(c) F. Makowski 2001/2023