Login / Signup

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems.

Remigiusz WisniewskiGrzegorz BazydloMarcin WojnakowskiMateusz Poplawski
Published in: Petri Nets (2023)
Keyphrases
  • real time
  • decision making
  • wireless sensor networks
  • computational intelligence
  • cyber physical systems
  • cyber physical