Nicolas Halbwachs
EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software
Virtual Execution of AADL Models via a Translation into Synchronous Programs
EMSOFT 2002: 2nd International Workshop on Embedded Software
Synchronous Modelling of Asynchronous Systems