التفاصيل البيبلوغرافية
العنوان: |
Model Checking of Software-Defined Networking for Multiple Applications |
المؤلفون: |
Yao, Jiangyuan, Lin, Shengjun, Wang, Jiawen, Li, Deshun, Yang, Qiuling, Wang, Changshuai, Wang, Xiaobin |
المصدر: |
2022 IEEE Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta) SMARTWORLD-UIC-SCALCOM-DIGITALTWIN-PRICOMP-META Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta), 2022 IEEE. :1099-1104 Dec, 2022 |
Relation: |
2022 IEEE Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta) |
قاعدة البيانات: |
IEEE Xplore Digital Library |