A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems

  • Andreas Müller (Speaker)

Activity: Talk or presentationContributed talkunknown

Period17 Oct 2014
Event title7th International Conference on Knowledge Science, Engineering and Management (KSEM 2014),
Event typeConference
LocationRomaniaShow on map

Fields of science

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

JKU Focus areas

  • Computation in Informatics and Mathematics