Authors

Omnès, Thierry

Title

Acropolis: 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 Dieit

Publication type

PHD thesis