Research

Latest research subjects

Sujet de recherche: Le Diagnostic Automatique des Comportements Defectueux dans la Logique Temporelle-Epistemique
Sujet de recherche: Reprise sur l'allocation de memoire dans le modele polyderique
Sujet de recherche: Redaction assistee pour eviter les affirmations inappropriees dans la redaction scientifique

Research activity per year