acm sigbed
|
emsoft
|
participants
David S. Rosenblum
EMSOFT 2019: 19th International Conference on Embedded Software
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
Omar I. Al-Bataineh
,
David S. Rosenblum
, and
Mark Reynolds
10.1145/3358219
https://arxiv.org/pdf/1803.02051.pdf