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-20-1 [2019/10/01 15:54]
berwanger [Cours liés]
cours:c-2-20-1 [2019/10/01 21:12] (current)
berwanger [Cours liés]
Line 91: Line 91:
  
 Les cours suivants, sans être indispensables, offrent une ouverture intéressante: Les cours suivants, sans être indispensables, offrent une ouverture intéressante:
-   * 2-8-1 Fondements pour la vérification des systèmes temps-réel+   * 2-8-1 Fondements pour la vérification des systèmes en temps-réel et hybrides
    * 2-8-2 Théorie non-séquentielle des systèmes distribués    * 2-8-2 Théorie non-séquentielle des systèmes distribués
    * 2-9 Vérification de systèmes dynamiques et paramétrés    * 2-9 Vérification de systèmes dynamiques et paramétrés
 
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