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

Empreinte digitale

Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.