Différences

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

--- muc_2010_2011_lecture2 [2010/12/13 16:36]
tigli créée
+++ muc_2010_2011_lecture2 [2010/12/15 10:06] (Version actuelle)
tigli [Main Ressources :]
@@ Ligne 2: / Ligne 2: @@
 ====== Lecture 2 : Formal Methods for Middleware verification ======
-  * Date : December, 14th 2009
+  * Date : December, 14th 2010
-  * Instructor : A. Ressouche and  J.-Y. Tigli
+  * Instructor : A. Ressouche
   * Duration : 4h
@@ 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 }}

JY Tigli Homepages