Abstract model refinement for model-based program debugging

Franz Wotawa, Daniel Köb, Rong Chen

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

Wotawa, F., Köb, D., & Chen, R. (2005). Abstract model refinement for model-based program debugging. In International Workshop on Principles of Diagnosis (pp. 7-12). ..