thesis

Reseaux de donnees abstraites et application aux protocoles de signalisation

Defense date:

Jan. 1, 1986

Edit

Institution:

Toulouse 3

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Utilisation des reseaux predicats/transistions pour modeliser, le protocole de niveau 3 du systeme de signalisation n**(o) 7 du ccitt. Proposition d'un nouveau formalisme, reseaux de donnees abstraites, combinant les reseaux de petri et les types abstraits algebriques. Discussion des possibilites de verification construites a partir des reseaux de donnees abstraites