Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems

  • Andreas Müller (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period16 Sept 2015
Event title18th IEEE International Conference on Intelligent Transportation Systems (ITSC 2015)
Event typeConference
LocationSpainShow on map

Fields of science

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

JKU Focus areas

  • Computation in Informatics and Mathematics