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
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.
