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

Gang Yang, Xingshe Zhou, Yuanyuan Lian

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Fingerprint

Dive into the research topics of 'Constraint-Based Consistency Checking for Multi-View Models of Cyber-Physical System'. Together they form a unique fingerprint.

Computer Science

Engineering