مؤتمر
Research on Safety Level DCS Automated Test Method Based on Symbolic Execution
العنوان: | Research on Safety Level DCS Automated Test Method Based on Symbolic Execution |
---|---|
المؤلفون: | Dai, Yanjun, Wu, Zhiqiang, Liu, Jie, Chen, Zhi, Xiao, Anhong, Liu, Zhaohui |
المصدر: | 2019 3rd International Conference on Circuits, System and Simulation (ICCSS) Circuits, System and Simulation (ICCSS), 2019 3rd International Conference on. :121-126 Jun, 2019 |
Relation: | 2019 3rd International Conference on Circuits, System and Simulation (ICCSS) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781728136578 9781728136561 |
---|---|
DOI: | 10.1109/CIRSYSSIM.2019.8935614 |