Login / Signup
Formal Verification of Control Modules in Cyber-Physical Systems.
Iwona Grobelna
Published in:
Sensors (2020)
Keyphrases
</>
formal verification
cyber physical systems
model checking
model checker
cyber physical
physical world
automated verification
symbolic model checking
cyber security
control system
computational intelligence
data collection
critical infrastructure