A Component-Based Approach to Hybrid Systems Safety Verification

  • Andreas Müller (Speaker)

Activity: Talk or presentationContributed talkunknown

Period03 Jun 2016
Event titleiFM 2016 - 12th International Conference on integrated Formal Methods
Event typeConference
LocationIcelandShow on map

Fields of science

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

JKU Focus areas

  • Computation in Informatics and Mathematics