Login / Signup

Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support.

Jörg Brauer
Published in: Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases