Modélisation et Évaluation des Performances des Systèmes

Topic outline

• General
  

  General

  • Annonces Forum
• Introduction à la modélisation
  

  Introduction à la modélisation

  • Modélisation (2) File
  • Modélisation (1) File
• Vers la modélisation formelle et l'évaluation qualitative
  

  Vers la modélisation formelle et l'évaluation qualitative

  • Automates particuliers Büchi-Kripke File
  • Modélisation formelle File
  • Logique temporelle LTL File
  • Vidéo sur la logique Temporelle (généré Zoom) Lesson

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 1) Lesson

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 2) Lesson

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 3) Lesson

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 4: Séance Zoom) Lesson

    
    

  • TP 6 File
  • Vidéo 5: Séance Zoom sur Logique Temporelle Lesson

    
    

• TDs modélisation formelle et TPs en Python
  

  TDs modélisation formelle et TPs en Python

  • TP File
  • TD 1 File
  • TD2 File
• TDs sur les processus stochastiques
  

  TDs sur les processus stochastiques

  • TD 03 rappel Proba File
  • TD 02 rappel Proba File
  • TD 04 chaine markov File
  • TD 01 File
  • TD 05 chaine markov File
• Les chaînes de Markov
  

  Les chaînes de Markov

  • Partie 1: Slides 1-17 File

    Introduction et rappel

  • Cours Zoom: vidéos 8 & 9 Lesson