Methode de validation de systemes d'automates communicants avec accumulation d'evenements

par Nathalie Triquet

Thèse de doctorat en Sciences appliquées

Sous la direction de Maurice Nivat.

Soutenue en 1987

à Paris 7 .

    mots clés mots clés


  • Résumé

    Validation et analyse d'un protocole de communication modelise par des automates communicants sur le produit synchronise filtre d'automates (la particularite de la communication entre automates etant le filtrage des evenements)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 190 P.
  • Annexes : 24 REF

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : J 2. TRI.
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1987
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.