Skip to content

Combination of Static and Dynamic Analyses for the Certification of Avionics Software.

Antoine Ferlin, Virginie Wiels

VenueAISSRE
Year2012
ProceedingsISSRE Workshops

Browse the full ISSRE paper archive.