Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System.

Gang Yang, Xingshe Zhou, Yuanyuan Lian

Browse the full QRS paper archive.