Détails du projet
Description
{description_courte}
| Acronyme | JFR |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/10/95 → 7/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.