Perfilado de sección

    • Ce chapitre 13 présente la définition et sémantique des automates temporisés. Calcul de l'espace d'état symbolique.

    • É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