Service Oriented Verification Integrated Fault Reasoning for SDNs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Yongning Tang, Guang Cheng, Zhiwei Xu, Feng Chen. Service Oriented Verification Integrated Fault Reasoning for SDNs. In Leonard Barolli, Makoto Takizawa, Tomoya Enokido, Antonio J. Jara, Yann Bocchi, editors, 30th IEEE International Conference on Advanced Information Networking and Applications, AINA 2016, Crans-Montana, Switzerland, 23-25 March, 2016. pages 624-629, IEEE Computer Society, 2016. [doi]

The following publications are possibly variants of this publication:

The SME Oriented Service Delivery Mechanism and an ImplementationZhen Lin, Zongwei Luo, Francis Lau, Qiong Xiao, Honghua Gan, Deren Chen. service 2010: 208-213 [doi]

Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao ModelQingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao. service 2010: 49-54 [doi]

runs on WebDSL