Sign in
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT.
Vivek Nigam
Carolyn L. Talcott
Published in:
WRLA@ETAPS (2022)
Keyphrases
</>
cyber physical systems
cyber physical
cyber security
physical world
embedded systems
social networks
critical infrastructure
power consumption
information security