Projets par an
Projets
- 4 Terminé
Résultats de recherche
-
Terminé
Asax: Analyse séquentielle élaborée sous unix
LE CHARLIER, B. & LETOCART, V.
1/09/00 → 1/09/02
Projet: Recherche
-
Survauto: Surveillance automatisée et en temps réel des ressources informatiques d'une organisation
18/11/99 → 18/11/01
Projet: Recherche
-
COMPULOG-Net: Réseau d'excellence en logique computationnelle
LE CHARLIER, B. (Responsable du Projet), Jacquet, J.-M. (Chercheur) & Schobbens, P. Y. (Chercheur)
24/06/96 → 24/06/99
Projet: Recherche
-
ABILE: Interprétation abstraite pour les langages de programmation déclaratifs
LE CHARLIER, B. (Responsable du Projet) & Schobbens, P. Y. (Chercheur)
1/01/95 → 31/12/98
Projet: Recherche