Export 2 results:
Filters: Author is Li Zhang and Keyword is Conference [Clear All Filters]
Automated and Incremental Conformance Checking to Support Interactive Product Configuration In The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2014.
Constraints: the Core of Supporting Automated Product Configuration of Cyber-Physical Systems In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Edited by J. Grey. .: ACM/IEEE, 2013.