Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-8 [2014/02/11 13:07]
bollig [Part 3: Modeling and verification of real-time distributed systems (Benedikt Bollig: 4x3h)]
cours:c-2-8 [2014/02/18 12:02] (current)
bollig [Part 3: Modeling and verification of real-time distributed systems (Benedikt Bollig: 4x3h)]
Line 56: Line 56:
  
 Lecture Notes: Lecture Notes:
-  * Version as of 11/02/2014: {{:cours:upload:cours2-8-3.pdf|Slides}}; {{:cours:upload:handout2-8-3.pdf|Handout}}+  * Version as of 18/02/2014: {{:cours:upload:cours2-8-3.pdf|Slides}}; {{:cours:upload:handout2-8-3.pdf|Handout}}
  
 Tentative Dates: Tentative Dates:
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA