thesis

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

Defense date:

Jan. 1, 1987

Edit

Institution:

Paris 7

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

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)