Outils pour utilisateurs

Outils du site


muc_2009_2010_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_2009_2010_lecture2 [2010/01/05 11:29] tiglimuc_2009_2010_lecture2 [2010/01/05 11:31] (Version actuelle) tigli
Ligne 44: Ligne 44:
   * 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]]   * 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]]
  
-  * Lustre Manual : {{http://example.com| paper }}+  * Lustre Manual : {{https://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/LustreManual/lv4man.ps| paper }}
  
   * Sample Lustre programs to illustrate the lecture   [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture%202%20Sample%20programs.zip|Sample Lustre programs]]   * Sample Lustre programs to illustrate the lecture   [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture%202%20Sample%20programs.zip|Sample Lustre programs]]
muc_2009_2010_lecture2.1262690990.txt.gz · Dernière modification : 2010/01/05 11:29 de tigli