CHAPOUTOT Alexandre

Team : PEQUAN
Invited by : Jean-Marie CHESNEAUX
Arrival date : 09/01/2010
Departure date : 09/30/2011
http://www.ensta-paristech.fr/~chapoutot/

Research activity

Analyse statique par interprétation abstraite de modèles Simulink

Departure date : 09/30/2011