Département INFORMATIQUE
RezUFR, UFR sciences, Université Montpellier II

Votre navigateur n'est pas compatible CSS2. Le menu est en fin de page.
Vous pouvez voir ici à quoi ressemble le site selon ses concepteurs (100Ko).

Module : Ingénierie des protocoles, CODE UMINP348

Responsable	Richard TERRAT
Parcours intégrant UV
Parcours possibles	fortement conseillé pour PRO-ASR
Pré-Requis	UMINM133 : Systèmes & algorithmes répartis UMINM211 : Théorie de l'Information
Controle connaissances	4 ECTS

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S3	UMINP348	Ingénierie des protocoles	18	12	12

Detail du programme

Objectifs :
Contenu :

 

 

 

 

Outils de description formelle et de validation de protocoles

 

 

 

 

Réseaux de Petri

 

 

Définitions et Propriétés : bornes, vivacité, atteignabilité

 

 

Calcul de séquences répétitives

 

 

Calcul des semi-flots

 

 

Théorème de Keller

 

 

Langages engendrés

 

 

 

 

Exemples d’utilisation pour les protocoles

---

servi par