Différences

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

--- muc_2010_2011_lecture2 [2010/12/14 06:52] – [Main Ressources :] tigli
+++ muc_2010_2011_lecture2 [2010/12/15 09:06] (Version actuelle) – [Main Ressources :] tigli
@@ Ligne 44: / Ligne 44: @@
 ====== 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]]
+  * 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_synchronous_monitor.pdf|Synchronous Languages Verification using Lustre]]
+  * Tutorial of the lecture : [[https://rainbow.essi.fr/~tigli/cours/MUC/MUC%202010%202011/Tutorial2_MUC_UBINET.pdf|Synchronous Languages Verification using Lustre]]