Section: Bilateral Contracts and Grants with Industry
Project Funded by the Airbus Foundation
Participants : Jingshu Chen, Marie Duflot-Kremer, Pascal Fontaine, Stephan Merz.
This two-year project (2013/2014) funds our work on the analysis of real-time Java programs described in section 6.3 , and in particular 12 months of the salary of Jingshu Chen as a post-doctoral researcher. It is complemented by funds granted by Région Lorraine.