ARCHITECTURE DE COMMUNICATION, SPECIFICATION ET VERIFICATION DE PROTOCOLES ET DE SERVICE

Les auteurs developpent des principes de base pour la specification d'architecture de communication dans un contexte de reseaux locaux. Le premier chapitre presente les attributs fondamentaux des reseaux locaux. Le deuxieme chapitre traite d'une technique de specification formelle basee sur les modeles a reseaux de PETRI. Le troisieme chapitre est un rappel des techniques de verification mises en oeuvre. (S.I.A. nr. 90040). (Voir egalement fiche globale DIRR 126450). (Titre anglais : communication protocol models, testings and verification).

  • Authors:
    • AZEMA, P
    • JUANOLE, G
  • Publication Date: 1990-6

Language

  • French

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 01254540
  • Record Type: Publication
  • Source Agency: Institut Francais des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)
  • Files: ITRD
  • Created Date: Nov 20 2010 7:13AM