Yancen Dong

Publication Activity (10 Years)

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

Top Topics

Consistency Checking

Temporal Constraints

Stochastic Search

Top Venues

Publications

Xiaokai Xia, Jing Shi, Zhiqiang Fan, Zhongliang Ai, Yancen Dong
A consistency checking approach for system architecture. SysCon (2016)