Christian Kröher: Evolutionäre Verifikation von Konsistenzeigenschaften in Software-Produktlinien

Activity: Expert activities › Expert activity for dissertations and habilitations

Description

Reviewer of PhD Thesis "Christian Kröher: Evolutionäre Verifikation von Konsistenzeigenschaften in Software-Produktlinien (first supervisor: Klaus Schmid), Universität Hildesheim, July 2023."
Period2023
Work forUniversität Hildesheim, Germany

Fields of science

  • 202003 Automation
  • 102022 Software development
  • 202017 Embedded systems
  • 202041 Computer engineering
  • 102029 Practical computer science
  • 102025 Distributed systems
  • 102 Computer Sciences

JKU Focus areas

  • Digital Transformation