Login / Signup

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

Andreas MüllerStefan MitschAndré Platzer
Published in: ITSC (2015)
Keyphrases
  • cyber physical
  • real time
  • social networks
  • computer systems
  • information systems
  • cyber physical systems