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

مخطط الموضوع

• عام
  

  عام

  • Annonces المنتدى
• Introduction à la modélisation
  

  Introduction à la modélisation

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

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

  • Automates particuliers Büchi-Kripke ملف
  • Modélisation formelle ملف
  • Logique temporelle LTL ملف
  • Vidéo sur la logique Temporelle (généré Zoom) درس

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 1) درس

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 2) درس

    
    

  • Cours MPES, Logique Temporelle, (Vidéo 3) درس

    
    

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

    
    

  • TP 6 ملف
  • Vidéo 5: Séance Zoom sur Logique Temporelle درس

    
    

• TDs modélisation formelle et TPs en Python
  

  TDs modélisation formelle et TPs en Python

  • TP ملف
  • TD 1 ملف
  • TD2 ملف
• TDs sur les processus stochastiques
  

  TDs sur les processus stochastiques

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

  Les chaînes de Markov

  • Partie 1: Slides 1-17 ملف

    Introduction et rappel

  • Cours Zoom: vidéos 8 & 9 درس