ModelPlex: Verified Runtime Validation of CPS Models

  • Stefan Mitsch (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period30 Oct 2015
Event titlePOP Retreat 2015
Event typeOther
LocationUnited StatesShow on map

Fields of science

  • 102027 Web engineering
  • 102 Computer Sciences
  • 102015 Information systems

JKU Focus areas

  • Computation in Informatics and Mathematics