Mémoire Online: Transformation de descriptions SYSTEMC en modèles formels

Projets fin d'étude informatique méthodologie de conception automatique de modèles formels, tutoriel & rapport pdf. Introduction Contexte Les systèmes embarqués sont de plus en plus utilisés dans plusieurs domaines applicatifs importants tels que le transport (automobiles, robots, avions, . ....