thesis

Mise en œuvre et test de protocoles écrits en ESTELLE

Defense date:

Jan. 1, 1986

Edit

Institution:

Bordeaux 1

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Presentation de methodes de production de tests applicables a des automates finis. A partir de cette base theorique, une methodologie de generation de scenarii est appliquee a un protocole de la couche reseau