مؤتمر
Application of Formal Method in Grid Cyber Physical Systems
| العنوان: | Application of Formal Method in Grid Cyber Physical Systems |
|---|---|
| المؤلفون: | Huang, Li, Liang, Yun, Huang, Hui, Wang, Qi, Qian, Sheng, Zhao, Ruohan |
| المصدر: | 2020 IEEE 9th Joint International Information Technology and Artificial Intelligence Conference (ITAIC) Information Technology and Artificial Intelligence Conference (ITAIC), 2020 IEEE 9th Joint International. 9:1075-1080 Dec, 2020 |
| Relation: | 2020 IEEE 9th Joint International Information Technology and Artificial Intelligence Conference (ITAIC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781728152448 9781728152431 |
|---|---|
| تدمد: | 26932865 |
| DOI: | 10.1109/ITAIC49862.2020.9338880 |