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_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 : ====== ====== 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.txt · Dernière modification: 2010/12/15 10:06 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