# objectif
modélisation/simulation/validation
# programme
14 séances de 4h
vérification formelle
synchronous data flow graphs
simulation
modélisation numérique/hétérogène