Wanshui Ling

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Concurrent Systems

Fault Localization

Formal Specification

Restoration Algorithm

Top Venues

J. Comput. Methods Sci. Eng.

Publications

Wanshui Ling, Jiaquan Yang, Jingxi Zou
Formal specification and verification of a distributed fault localization, isolation and supply restoration algorithm. J. Comput. Methods Sci. Eng. 16 (1) (2016)