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
Projet: Projet de thèse
Acronyme | JFR |
---|---|
statut | Fini |
Les dates de début/date réelle | 1/10/95 → 7/06/99 |