JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Piste : • Lecture 2 : Formal Methods for Middleware verification
muc_2010_2011_lecture2

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
muc_2010_2011_lecture2 [2010/12/15 09:05] – [Main Ressources :] tiglimuc_2010_2011_lecture2 [2010/12/15 09:06] (Version actuelle) – [Main Ressources :] tigli
Ligne 44: Ligne 44:
 ====== Main Ressources : ====== ====== 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]]   * Tutorial of the lecture : [[https://rainbow.essi.fr/~tigli/cours/MUC/MUC%202010%202011/Tutorial2_MUC_UBINET.pdf|Synchronous Languages Verification using Lustre]]
muc_2010_2011_lecture2.1292403940.txt.gz · Dernière modification : 2010/12/15 09:05 de tigli