Accueil > Recherche

Mes travaux de recherches actuels sont dans le domaine des méthodes formelles et de leurs applications dans des environnements basées sur les architectures orientés services et le web sémantique. Ce travail est réalisé au sein de la cellule A3 du laboratoire LE2I (UMR CNRS 5158), et plus particulièrement avec les collègues Christophe Cruz et Christophe Nicolle, sur le projet CheckSem.


Design downloaded from free website templates.