Indices
This title is listed in the following:
Close
Reference Hub
This research has been cited in:
Conference
MoFuzzProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416668 Conference
A workflow for healthcare systems via OCL and SMT solvingProceedings of the International Workshop on Software Engineering in Healthcare Systems10.1145/3194696.3194704 Article
Automated Generation of Consistent Graph Models With Multiplicity ReasoningIEEE Transactions on Software Engineering10.1109/TSE.2020.3025732 Article
Book
Chapter
Finding Achievable Features and Constraint Conflicts for Inconsistent MetamodelsModelling Foundations and Applications10.1007/978-3-319-61482-3_11
Close Top Results From Your Most Recent Search
Close