Connecting Verification & Diagnosis:Using Spectrum-based Fault Localization for Diagnostic Purposes

Aktivität: Präsentation oder Vortrag › Geladener Gastvortrag

Beschreibung

Invited Talk @ Institut für Automatisierungstechnik
Zeitraum25 Apr. 2023
Gehalten amHelmut-Schmidt-University, Deutschland