A Benchmark for Component-based Hybrid Systems Safety Verification

  • Andreas Müller (Speaker)

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

Period17 Apr 2017
Event titleARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Event typeConference
LocationUnited StatesShow on map

Fields of science

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

JKU Focus areas

  • Computation in Informatics and Mathematics