Haifa Verification Conference 2010

  • Robert Könighofer (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Debugging Unrealizable Specifications with Model-Based Diagnosis
Zeitraum6 Okt. 2010
EreignistitelHaifa Verification Conference 2010
VeranstaltungstypKonferenz
OrtHaifa, IsraelAuf Karte anzeigen