Haifa Verification Conference 2010

Robert Könighofer (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Debugging Unrealizable Specifications with Model-Based Diagnosis
Zeitraum6 Okt 2010
EreignistitelHaifa Verification Conference 2010
VeranstaltungstypKonferenz
OrtHaifa, Israel