Login / Signup
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems.
Marcin Wojnakowski
Remigiusz Wisniewski
Published in:
DoCEIS (2021)
Keyphrases
</>
cyber physical systems
cyber physical
control system
physical world
real time
model checking
artificial intelligence
cyber security
information systems
wireless sensor networks