Outils pour utilisateurs
muc_2010_2011_lecture2
Différences
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 Les deux révisions suivantes | ||
|
muc_2010_2011_lecture2 [2010/12/13 16:37] tigli |
muc_2010_2011_lecture2 [2010/12/14 07:48] tigli [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/Lecture2/Lecture2_MUC_UBINET_2010_verif_slides.pdf|Synchronous Languages Verification for middleware]] | ||
| + | |||
| + | * Tutorial of the lecture : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture2_MUC_UBINET_2010_verif_slides.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 }} | ||
muc_2010_2011_lecture2.txt · Dernière modification: 2010/12/15 10:06 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
