L’encadrement des stages professionnels fait en général appel à l’ensemble des membres de l’équipe pédagogique de la mention, mais plus particulièrement aux enseignants des UE des parcours professionnels.
Réalisations du responsable dans le domaine de l’UE
Acronyme : spec
Spécialité : RES
3 ECTS
Niveau : 500
Semestre : S3
Titre : Spécification et validation
Responsable : Cédric BESSE
Répartition hebdomadaire ou semestrielle
(CM: 2h00)(TD/TME: 2h00)
Contenu
Dans ce module sont présentés les différents aspects relatifs à la conception et à la validation des protocoles de communication. Il s'articule essentiellement autour des techniques de description formelle (SDL, Promela/SPIN, ...) et des méthodes de validation communément utilisées dans les milieux industriel et universitaire pour la conception et la validation des protocoles de communication.
