acm sigbed
|
emsoft
|
participants
David Delmas
EMSOFT 2015: 15th International Conference on Embedded Software
Towards an Industrial Use of Sound Static Analysis for the Verification of Concurrent Embedded Avionics Software
Antoine Miné
and
David Delmas
10.1109/EMSOFT.2015.7318261
https://hal.sorbonne-universite.fr/hal-01312246/document