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

Bibliographische Detailangaben

Veröffentlicht in:	Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products
1. Verfasser:	Brauer, Jörg (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!