Abstract FR:

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