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