Export 3 results:
Filters: Author is Kunming Nie 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.
Towards a Search-Based Interactive Configuration of Cyber Physical System Product Lines In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Poster. ACM/IEEE, 2013.