Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux
Ce travail montre comment un formalisme logique, la logique de configuration, est intégré au sein d'un outil de gestion de configuration de réseaux, ValidMaker. Le principal objectif de ce travail est de démontrer que la logique de configuration est particulièrement bien adaptée à la vérificati...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://www.archipel.uqam.ca/2815/1/M9590.pdf |