Behavioral Model Synthesis of PLC Programs from Execution Traces

Activity: Talk or presentationContributed talkunknown

Period15 Sept 2014
Event title2014 IEEE Emerging Technology and Factory Automation (ETFA)
Event typeConference
LocationSpainShow 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)