Préparation à l’examen sommatif
Modèle formel pour la spécification et la vérification de la qualité de service