Thèse de doctorat en Sciences appliquées
Sous la direction de Yves Raynaud.
Soutenue en 1987
à Toulouse 3 .
Presentation des concepts de base en matiere de normalisation dans une architecture reseaux et les services et protocoles de transport utilises. Presentation des differentes techniques de description formelle. Une specification formelle du service de transport iso classe 4 est donnee. Description de l'environnement de la station de transport campus. Les problemes rencontres, les choix retenus lors de la phase d'implantation du protocole sont decrits ainsi que les realisations effectuees
Pas de résumé disponible.