Omnès, ThierryThierryOmnès2021-10-142021-10-142001-05https://imec-publications.be/handle/20.500.12860/5548Acropolis: un Précompilateur de la Spécification pour l'Exploration du Transfert et du Stockage des Données en Conception de Systèmes Embarqués à Haut DieitPHD thesis