• Aucun résultat trouvé

Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle"

Copied!
249
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

FIGURE 1: Un modèle formel pouvant représenter un système de configuration des équi­
FIGURE 2: L'organisation des chapitres de cette thèse selon les trois composantes du travail
Figure 3: A formal model to represent a network device configuration system and a service oriented architecture
Figure 4: The organization of the chapters of this thesis along the three components of the project
+7

Références

Télécharger maintenant ( PDF - 249 Page - 4.35 MB )

Documents relatifs