مؤتمر
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 |
ردمك: | 9781728152448 9781728152431 |
---|---|
تدمد: | 26932865 |
DOI: | 10.1109/ITAIC49862.2020.9338880 |