acm sigbed
|
emsoft
|
participants
Mojtaba Zarei
EMSOFT 2019: 19th International Conference on Embedded Software
Statistical Verification of Hyperproperties for Cyber-Physical Systems
Yu Wang
,
Mojtaba Zarei
,
Borzoo Bonakdarpour
, and
Miroslav Pajic
10.1145/3358232
https://cse.msu.edu/tart/sites/default/files/publications/files/2021-08/tecs19.pdf