共 50 条
- [42] Constraint-based model checking for parameterized synchronous systems FRONTIERS OF COMBINING SYSTEMS, 2002, 2309 : 72 - 86
- [43] A constraint-based approach to the design and optimisation of mechanism systems IUTAM SYMPOSIUM ON OPTIMIZATION OF MECHANICAL SYSTEMS, 1996, 43 : 205 - 212
- [44] Constraint-based modeling of discrete event dynamic systems Journal of Intelligent Manufacturing, 2010, 21 : 31 - 47
- [47] Constraint-based test generation for automotive operating systems Software & Systems Modeling, 2017, 16 : 7 - 24
- [48] Constraint-Based Behavioral Consistency of Evolving Software Systems MACHINE LEARNING FOR DYNAMIC SOFTWARE ANALYSIS: POTENTIALS AND LIMITS, 2018, 11026 : 205 - 218
- [49] Constraint-Based Approaches for Balancing Bike Sharing Systems PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 758 - 773
- [50] ConArg: A Constraint-based Computational Framework for Argumentation Systems 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, : 605 - 612