مؤتمر
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 |