Détails du projet
Description
{description_courte}
| Acronyme | CAT |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/04/95 → 1/07/01 |
mots-clés
- cahiers de charges
- systemes distribues
- specification
- agents
- systèmes distribués
- spécification
- exigences
- méthodes formelles
- methodes formelles
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.