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

Aperçu des sections

• Généralités
  

  Généralités

  • Annonces Forum
• Introduction à la modélisation
  

  Introduction à la modélisation

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

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

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

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 1) Leçon

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 2) Leçon

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 3) Leçon

    
    

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

    
    

  • TP 6 Fichier
  • Vidéo 5: Séance Zoom sur Logique Temporelle Leçon

    
    

• TDs modélisation formelle et TPs en Python
  

  TDs modélisation formelle et TPs en Python

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

  TDs sur les processus stochastiques

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

  Les chaînes de Markov

  • Partie 1: Slides 1-17 Fichier

    Introduction et rappel

  • Cours Zoom: vidéos 8 & 9 Leçon