Login / Signup

Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones.

Daniel GafféAnnie Ressouche
Published in: Tech. Sci. Informatiques (2011)
Keyphrases