Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)563-583
FachzeitschriftInternational journal on software tools for technology transfer
Jahrgang15
Ausgabenummer5-6
DOIs
PublikationsstatusVeröffentlicht - 2013

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Dieses zitieren