Debugging Unrealizable Specifications with Model-Based Diagnosis

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelHardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
ErscheinungsortBerlin Heidelberg
Herausgeber (Verlag)Springer
Seiten29-45
Band6504
ISBN (Print)978-3-642-19582-2
PublikationsstatusVeröffentlicht - 2011
VeranstaltungHaifa Verification Conference 2010 - Haifa, Israel
Dauer: 5 Okt 20107 Okt 2010

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzHaifa Verification Conference 2010
KurztitelHVC
LandIsrael
OrtHaifa
Zeitraum5/10/107/10/10

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren