Login / Signup

Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems.

Houssam AbbasBorzoo Bonakdarpour
Published in: ISoLA (1) (2022)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • embedded systems
  • cyber security
  • real time
  • social networks
  • data collection
  • distributed databases
  • ubiquitous computing