Résumé de section

    • Ce chapitre 13 présente la définition et sémantique des automates temporisés et va jusqu'au calcul de l'espace d'état symbolique. Pour suivre a séquence, vous pouvez utiliser le support : 3 - AutomateTemporisé_EcoleSED25_v5.pdf

    • Équipe pédagogique

      Contributeurs : Pascale Marangé et Alexandre Philippot
      Intervenant :  Pascale Marangé

    • Les automates temporisés


    • Pour revenir en arrière

      Chapitre 4  sur les automates temporisés et leur utilisation de l'édition 2024