# 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