Différences

Ci-dessous, les différences entre deux révisions de la page.

--- muc_2010_2011_lecture2 [2010/12/13 15:37] – tigli
+++ muc_2010_2011_lecture2 [2010/12/15 09:06] (Version actuelle) – [Main Ressources :] tigli
@@ 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%202010%202011/Lecture2_MUC_UBINET_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 }}