Virtual execution of AADL models via a translation into synchronous programs.

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

Browse the full EMSOFT paper archive.