مؤتمر
A Petri-net-based Method For Detecting Bugs in Multiple Threads
العنوان: | A Petri-net-based Method For Detecting Bugs in Multiple Threads |
---|---|
المؤلفون: | Sun, Jiaquan, Liu, Guanjun, Xiang, Dongming, Jiang, Changjun |
المصدر: | 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC) Networking, Sensing and Control (ICNSC), 2019 IEEE 16th International Conference on. :150-156 May, 2019 |
Relation: | 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781728100845 9781728100838 |
---|---|
DOI: | 10.1109/ICNSC.2019.8743177 |