Outils pour utilisateurs
muc_2009_2010_lecture2
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Dernière révision Les deux révisions suivantes | ||
|
muc_2009_2010_lecture2 [2010/01/04 13:33] tigli |
muc_2009_2010_lecture2 [2010/01/05 12:29] tigli |
||
|---|---|---|---|
| Ligne 43: | Ligne 43: | ||
| * 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 }} | ||
| * 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]] | ||
| Ligne 58: | Ligne 60: | ||
| - | ====== Tools ====== | + | ====== Tools : ====== |
muc_2009_2010_lecture2.txt · Dernière modification: 2010/01/05 12:31 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
