Old Web
English
Sign In
Acemap
>
authorDetail
>
Matthieu David
Matthieu David
Real-time computing
Modeling language
Executable
Test case
Software
3
Papers
10
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Automatic Generation of DO-178 Test Procedures
2018
NFM | NASA Formal Methods Symposium
César Ochoa Escudero
Remi Delmas
Thomas Bochot
Matthieu David
Virginie Wiels
Show All
Source
Cite
Save
Citations (0)
Proceedings of the EuBIC Winter School 2017
2017
Journal of Proteomics
Sander Willems
David Bouyssié
Matthieu David
Marie Locard-Paulet
Karl Mechtler
Veit Schwämmle
Julian Uszkoreit
Marc Vaudel
Viktoria Dorfer
Show All
Source
Cite
Save
Citations (8)
Screening Tests for Enhanced Shielding Against Hypervelocity Particle Impacts for Future Unmanned Spacecraft
2013
Robin Putzar
Jan Hupfer
Gwenaëlle Aridon
Bernard Gergonne
Matthieu David
Paul Bourke
Claude Cougnet
Show All
Source
Cite
Save
Citations (2)
1