×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [david lesens]
Presented by David LESENS and Johannes KANIG Thursday, 16 May 2013 Astrium Space Transportation AdaCore Formal Validation of Aerospace Software DASIA 2013
215 views
Claire Dross, Pavlos Efstathopoulos , David Lesens , David Mentré and Yannick Moy
56 views