Login / Signup

Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net.

Mateusz PoplawskiRemigiusz WisniewskiGrzegorz BazydloMaxim Malinski
Published in: DoCEIS (2023)
Keyphrases