Skip to main navigation Skip to search Skip to main content

Deriving a State Model of a Control Program by Symbolic Execution

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Original languageEnglish
Title of host publication16th IEEE International Conference on Industrial Informatics (INDIN'18)
Pages754-759
Number of pages6
ISBN (Electronic)9781538648292
DOIs
Publication statusPublished - Jul 2018

Fields of science

  • 102 Computer Sciences
  • 102009 Computer simulation
  • 102011 Formal languages
  • 102013 Human-computer interaction
  • 102022 Software development
  • 102024 Usability research
  • 102029 Practical computer science

JKU Focus areas

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

Cite this