Deriving a State Model of a Control Program by Symbolic Execution

Activity: Talk or presentation › Contributed talk › science-to-science

Period20 Jul 2018
Event title16th IEEE International Conference on Industrial Informatics (INDIN 2018)
Event typeConference
LocationPortugalShow on map

Fields of science

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

JKU Focus areas

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

Documents & Links