Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiquestropicales pour traiter des...
Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...