Lecture 2 : Formal Methods for Middleware verification

Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
Journées UbiMob'14 Site Web

Privé

--- muc_2010_2011_lecture2 [2010/12/15 10:05]
tigli [Main Ressources :]
+++ muc_2010_2011_lecture2 [2010/12/15 10:06] (Version actuelle)
tigli [Main Ressources :]
@@ Ligne 44: / Ligne 44: @@
 ====== 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]]
+  * 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]]