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