16M3088B

Verbundprojekt: Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten Wertschöpfungskette (SANITAS), Teilprojekt: Debugging- und Backannotations-Techniken im TLM/TLM+-basierten Entwurfsablauf