Formalismes de description de système, Master 2 ISC
Liens bibliographiques
RML (R. Alur, T. Henzinger)
Altarica LaBRI
MSC
,
Survey (Dagstuhl'04)
,
Survey (Advances in Petri nets '03)
Statecharts (wikipedia)
Statecharts in UML (tutorial, Uni Erlangen)
Petri nets (tutorial, J. Esparza)
Feuilles de TD
td1.pdf
td2.pdf
td3.pdf
td4.pdf
td5.pdf
td6.pdf
Anca Muscholl
Last modified: Oct 18, 2007