Abstract FR:

Presentation des techniques de vérification dans un système distribue. Définition d'une technique de test basée sur le concept de l'observateur. Réalisation d'un outil d'observation de protocoles sur le réseau local industriel factor et sur le système de communication de la direction opérationnelle des telecommunications