Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Methodologie de validation des systemes structures en couches par reseaux de petri : application au protocole transport
par Bernard Cousin
Thèse de doctorat en Sciences appliquées
Sous la direction de CLAUDE GIRAULT.
Soutenue en 1987
à Paris 6 .
- Sciences appliquees
- Telecommunications et theorie de l'information
- Reseau petri
- Modelisation
- Validation
- Protocole transmission
- Couche
- Reseau telecommunication
- These
- Petri net
- Modeling
- Validation
- Transmission protocol
- Layer
- Telecommunication network
- Thesis
mots clés
-
Pas de résumé disponible.
-
Titre traduit
Validation methodology for layered systems using petri networks: application to transport protocol
-
Pas de résumé disponible.
Autre version
Cette thèse a donné lieu à une publication en 2013 par [CCSD] à Villeurbanne
METHODOLOGIE DE VALIDATION DES SYSTEMES STRUCTURES EN COUCHES PAR RESEAUX DE PETRI : APPLICATION AU PROTOCOLE TRANSPORT
