acm sigbed
|
emsoft
|
participants
Lingtai Wang
EMSOFT 2018: 18th International Conference on Embedded Software
The Opacity of Real-Time Automata
Lingtai Wang
,
Naijun Zhan
, and
Jie An
10.1109/TCAD.2018.2857363
https://lcs.ios.ac.cn/~znj/papers/EMSOFT2018.pdf