Model Checking of Software-Defined Networking for Multiple Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiangyuan Yao, Shengjun Lin, Jiawen Wang, Deshun Li, Qiuling Yang, Changshuai Wang, XiaoBin Wang. Model Checking of Software-Defined Networking for Multiple Applications. In IEEE Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles, SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta 2022, Haikou, China, December 15-18, 2022. pages 1099-1104, IEEE, 2022. [doi]

This author has not been identified. Look up 'Jiangyuan Yao' in GoogleThis author has not been identified. Look up 'Shengjun Lin' in GoogleThis author has not been identified. Look up 'Jiawen Wang' in GoogleThis author has not been identified. Look up 'Deshun Li' in GoogleThis author has not been identified. Look up 'Qiuling Yang' in GoogleThis author has not been identified. Look up 'Changshuai Wang' in GoogleThis author has not been identified. Look up 'XiaoBin Wang' in Google

runs on WebDSL