Formal analysis and verification of the PSTM architecture using CSP von Liu, Ailun, Zhu, Huibiao, Popovic, Miroslav, Xiang, Shuangqing, Zhang, Lei

Volltext

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra von Xiang, Shuangqing, Zhu, Huibiao, Wu, Xi, Xiao, Lili, Bonsangue, Marcello, Xie, Wanling, Zhang, Lei

Volltext

Modeling and Verifying Basic Modules of Floodlight von Xiang, Shuangqing, Wu, Xi, Zhu, Huibiao, Xie, Wanling, Xiao, Lili, Vinh, Phan Cong

Volltext

Modeling and Verifying HDFS Using Process Algebra von Xie, Wanling, Zhu, Huibiao, Wu, Xi, Xiang, Shuangqing, Guo, Jian, Vinh, Phan Cong

Volltext

A UTP approach for rTiMo von Xie, Wanling, Xiang, Shuangqing, Zhu, Huibiao

Volltext

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA) von Yang, Tengshun, Wang, Shuling, Zhan, Bohua, Zhan, Naijun, Li, Jinghui, Xiang, Shuangqing, Xiang, Zhan, Mao, Bifei

Volltext

Modeling and verifying SDN under Multi‐controller architectures using CSP von Xiao, Lili, Zhu, Huibiao, Xiang, Shuangqing, Cong Vinh, Phan

Volltext

Modeling and Verifying HDFS Using Process Algebra von Xie, Wanling, Zhu, Huibiao, Wu, Xi, Xiang, Shuangqing, Guo, Jian, Vinh, Phan Cong

Volltext

UTP Semantics for rTiMo von Xie, Wanling, Xiang, Shuangqing

Volltext

PDNet: A Programming Language for Software-Defined Networks with VLAN von Xiang, Shuangqing, Bonsangue, Marcello, Zhu, Huibiao

Volltext

Formal Analysis of 5G AKMA von Yang, Tengshun, Wang, Shuling, Zhan, Bohua, Zhan, Naijun, Li, Jinghui, Xiang, Shuangqing, Xiang, Zhan, Mao, Bifei

Volltext

Method for preparing FeAl-based intermetallic compound flexible film through Al infiltration von TANG WEILI, XIANG SHUANGQING

Volltext bestellen

Method for synthesizing and preparing FeAl intermetallic compound flexible film through reaction of element mixed powder von TANG WEILI, XIANG SHUANGQING

Volltext bestellen

Method for removing arsenic from copper concentrate and inhibiting sulfur loss von TANG WEILI, XIANG SHUANGQING

Volltext bestellen

Method for preparing FeAl intermetallic compound flexible film through activated sintering of pre-alloyed powder von TANG WEILI, XIANG SHUANGQING

Volltext bestellen

Ultrasonic scalpel transducer module von XIANG SHUANGQING, YANG RUI

Volltext bestellen

Robust Cooperative Fault-Tolerant Control for Uncertain Multi-Agent Systems Subject to Actuator Faults von Shi, Jiantao, Chen, Xiang, Xing, Shuangqing, Liu, Anning, Chen, Chuang

Volltext

Efficient heterogeneous Fenton-like degradation of methylene blue using green synthesized yeast supported iron nanoparticles von Shi, Guorong, Zeng, Shuangqing, Liu, Yefeng, Xiang, Jun, Deng, Dale, Wu, Chenmeng, Teng, Qian, Yang, Hua

Volltext

Robust cooperative fault-tolerant control for discrete-time multi-agent systems with uncertainties and actuator faults von Shi, Jiantao, Chen, Xiang, Xing, Shuangqing, Liu, Anning, Chen, Chuang

Volltext

Comparing the pertussis antibody levels of healthy children immunized with four doses of DTap-IPV/Hib (Pentaxim) combination vaccine and DTaP vaccine in Quzhou, China von Yin, Zhiying, Zheng, Canjie, Fang, Quanjun, Wen, Tingcui, Wang, Shuangqing, Li, Junji, Gong, Xiaoying, Xiang, Ziling

Volltext