Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

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édentes Révision précédente
muc_2009_2010_lecture2 [2010/01/05 12:29]
tigli
muc_2009_2010_lecture2 [2010/01/05 12: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.txt · Dernière modification: 2010/01/05 12:31 par tigli
Piste:
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0