PC1 (1h30) Spécification d'un protocole par automate et vérification (1/2)
PC2 (1h30) Spécification d'un protocole par automate et vérification (2/2)
TP1 (3h) Mise en oeuvre d'un protocole de liaisons de données
PC3 (1h30) TD dimensionnement de réseaux (1/2)
PC4 (1h30) TD dimensionnement de réseaux (2/2)
C1 (1h30) Notions de fiabilité : MTBF, MTTR, disponibilité (1/2)
C2 (1h30) Notions de fiabilité : MTBF, MTTR, disponibilité (2/2)
PC5 (1h30) TD fiabilité (1/2)
PC6 (1h30) TD fiabilité (2/2)
TP2 (3h) TP dimensionnement sur applet Java (auto-apprentissage)
CC (3h) Test QCM sur la plate-forme Moodle
Team
PC1
1h30
PC2
1h30
TP1
3h
PC3
1h30
PC4
1h30
C1
1h30
C2
1h30
PC5
1h30
PC6
1h30
TP2
3h
CC
3h
Aymen
BELGHITH
x
x
Ahmed
BOUABDALLAH
x
x
x
Hayat
DOUKKALI
x
x
Jean-Pierre
LE NARZUL
x
Issam
MABROUKI
x
x
Patrick
MAILLE
x
x
x
x
x
x
David
ROS SANCHEZ
x
x
x
x
x
Educational resource
Notes du cours
Recommended reading
- G. Doyon, Systèmes et réseaux de télécommunications en régime stochastique, Ed. Masson et CNET-ENST, 1989
- R. Jain, The Art of Computer Systems Performance Analysis. Wiley, 1991
- D. Bertsekas et R. Gallager, Data Networks, Prentice-Hall, 1992
Year 2006/2007 Last update: 27-SEP-06
Last validation: