An Automated Approach for Constructing Concrete Reparis for model Inconsistencies

Roland Kretschmer

Research output: ThesisMaster's / Diploma thesis

Original languageEnglish
Publication statusPublished - Sept 2016

Fields of science

  • 102 Computer Sciences
  • 102022 Software development

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Engineering and Natural Sciences (in general)

Cite this