Logiques, automates et théories classiques de décision du temps réel

{description_courte}