Modélisation, Analyse et Simulation des Systèmes Embarqués Sur Puce
MASSOC