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

Projet: Projet de thèse

Détails du projet

Description

{description_courte}
AcronymeJFR
statutFini
Les dates de début/date réelle1/10/957/06/99

mots-clés

  • procédure de décision
  • logique temporelle
  • temps reel
  • temps réel
  • automates
  • MITL
  • logique
  • procedure de decision