S1 MI1: Mathématiques Générales - INPT

Des séances de travaux dirigées permettront de traiter des exercices ...... et de
modélisation formelles des protocoles: Automates, réseaux de Petri, UML, SDL, ...