| emsoft | participants

Erwan Jahier

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Virtual Execution of AADL Models via a Translation into Synchronous Programs

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, and David Lesens