Chapitre 4 - Introduction aux automates temporisés
Résumé de section
-
-
Introduction
-
Motivation d'ajout du temps
-
Modélisation du temps dans les automates
-
Évolution des automates temporisés
-
Analyse des automates temporisés
-
Application