A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

YaHui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang. A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Communications Surveys and Tutorials, 21(1):940-969, 2019. [doi]

This author has not been identified. Look up 'YaHui Li' in GoogleThis author has not been identified. Look up 'Xia Yin' in GoogleThis author has not been identified. Look up 'Zhiliang Wang' in GoogleThis author has not been identified. Look up 'Jiangyuan Yao' in GoogleThis author has not been identified. Look up 'Xingang Shi' in GoogleThis author has not been identified. Look up 'Jianping Wu' in GoogleThis author has not been identified. Look up 'Han Zhang' in GoogleThis author has not been identified. Look up 'Qing Wang' in Google

runs on WebDSL