Technical role(s) within Artist2
 Contributes significantly to the cluster activity on Platforms for Embedded Systems; in particular within the development of cluster based distributed model checking through the Distributed Verification Environment DeVinE.

Réalisation Axome - Création de sites Internet