Login / Signup

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.

Marcin WojnakowskiMateusz PoplawskiRemigiusz WisniewskiGrzegorz Bazydlo
Published in: DoCEIS (2022)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • cyber security
  • embedded systems
  • real time
  • data mining
  • high speed
  • social network analysis