Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.

Y. Gao, H. Li, Y. Li, B. Liu, X. Wang, and H. Ruan. QRS Companion, page 219-226. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Lei Wang

Yiner Wang

Bo Wang

Other publications of authors with the same name

Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.Y. Gao, H. Li, Y. Li, B. Liu, X. Wang, and H. Ruan. QRS Companion, page 219-226. IEEE, (2019)Integrated Construction of Service Function Chain and Business System Based on Colored Petri Net.Y. Ai, Y. Cui, Z. Liu, X. Zhang, H. Li, and X. Wang. COMPSAC, page 56-61. IEEE, (2022)STARS: Spatial Temporal Graph Convolution Network for Action Recognition System on FPGAs.S. Pei, X. Wang, W. Qin, and S. Liang. COMPSAC, page 1469-1474. IEEE, (2021)Using TTCN-3 to Test SPDY Protocol Interaction Property.S. Zhang, H. Li, Y. Xue, and X. Wang. COMPSAC Workshops, page 541-546. IEEE Computer Society, (2014)The Design and Specification of Path Adjustable SFC Using YANG Data Model.Y. Ai, H. Li, X. Wang, J. Wang, and Y. Ding. ISCC, page 1-6. IEEE, (2022)Design and Implementation of SFC Monitoring and Alerting Based on YANG Data Model.Y. Ding, Y. Ai, X. Zhang, H. Li, X. Wang, and H. Ruan. ISPA/BDCloud/SocialCom/SustainCom, page 668-675. IEEE, (2022)REAL-GUARD: A Machine Learning based Real-time Mechanism for Combining Packet and Flow Features to Mitigating Network Attacks in SDN.Q. Liu, H. Ruan, H. Li, X. Li, and X. Wang. CIAT, page 451-458. ACM, (2020)A Method of Chinese NER Based on BERT Model and Coarse-Grained Features.Y. Wang, H. Li, P. Zhang, X. Wang, and Y. Liu. CCRIS, page 74-79. ACM, (2022)Using TTCN-3 in Performance Test for Service Application.M. Shan, X. Wang, L. Zhao, and L. Guo. SERA, page 253-258. IEEE Computer Society, (2009)Evaluating the Availability of Service Function Chain under Different Elasticity Strategies Based on Colored Petri Net.H. Dong, Z. Liu, H. Li, and X. Wang. QRS, page 751-760. IEEE, (2023)

BibSonomy

Disambiguation of "Wang, Xianrong"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Lei Wang

Yiner Wang

Bo Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Xianrong"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Lei Wang

Yiner Wang

Bo Wang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.