Login / Signup
Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems.
Marcin Wojnakowski
Mateusz Poplawski
Remigiusz Wisniewski
Grzegorz 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