Sign in
Statistical Verification of Hyperproperties for Cyber-Physical Systems.
Yu Wang
Mojtaba Zarei
Borzoo Bonakdarpour
Miroslav Pajic
Published in:
ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
</>
cyber physical systems
cyber physical
statistical analysis
physical world
cyber security