Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Dernière révision Les deux révisions suivantes | ||
muc_2010_2011_lecture2 [2010/12/13 16:37] tigli |
muc_2010_2011_lecture2 [2010/12/15 10:05] tigli [Main Ressources :] |
||
---|---|---|---|
Ligne 40: | Ligne 40: | ||
- | ====== Ressources : ====== | ||
- | * Slides of the lecture "Synchronous Languages Verification" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture2_MUC_UBINET_2010_verif_slides.pdf|Synchronous Languages Verification]] | + | |
+ | ====== Main Ressources : ====== | ||
+ | |||
+ | * Slides of the lecture "Synchronous Languages Verification" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/MUC 2010 2011/Lecture2_MUC_UBINET_2010_verif_slides.pdf|Synchronous Languages Verification for middleware]] | ||
+ | |||
+ | * Tutorial of the lecture : [[https://rainbow.essi.fr/~tigli/cours/MUC/MUC%202010%202011/Tutorial2_MUC_UBINET.pdf|Synchronous Languages Verification using Lustre]] | ||
+ | |||
+ | |||
+ | |||
+ | ====== Other Ressources : ====== | ||
* Lustre Manual : {{https://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/LustreManual/lv4man.ps| paper }} | * Lustre Manual : {{https://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/LustreManual/lv4man.ps| paper }} |