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 .

  • Titre traduit

    Validation of communicating automata systems with event accumulation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (190 P.)
  • Annexes : 24 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole nationale supérieure des sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : J 2. TRI.
  • Bibliothèque : Université de Paris - BU des Grands Moulins (Paris). Direction générale déléguée aux bibliothhèques et musées. Bibliothèque universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1987

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1987PA077168
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.