Using Interactive to Validate Executing State Machines

  • Philipp Mitterer

Research output: ThesisMaster's / Diploma thesis

Original languageEnglish
Place of PublicationLinz
Publisher
Publication statusPublished - Nov 2014

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