Modélisation et analyse de systèmes embarqués Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET, Bernard DUBUISSON, SEE
Méthodes formelles pour les systèmes répartis et coopératifs Serge HADDAD, Fabrice KORDON, Laure PETRUCCI