Abstract model refinement for model-based program debugging

Franz Wotawa, Daniel Köb, Rong Chen

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationInternational Workshop on Principles of Diagnosis
Publisher.
Pages7-12
Publication statusPublished - 2005

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this