共 50 条
- [32] Euclide: A Constraint-Based Testing framework for critical C programs SECOND INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, PROCEEDINGS, 2009, : 151 - 160
- [33] A framework to support multiple views in geometric constraint-based models ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2001, : 575 - 579
- [34] Constraint-based agents CONSTRAINT-BASED AGENTS: AN ARCHITECTURE FOR CONSTRAINT-BASED MODELING AND LOCAL-SEARCH-BASED REASONING FOR PLANNING AND SCHEDULING IN OPEN AND DYNAMIC WORLDS, 2001, 2062 : 1 - +
- [35] CONSTRAINT-BASED REASONING IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1991, 6 (06): : 55 - 55
- [38] Constraint-based reachability ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (107): : 25 - 43
- [39] Constraint-based scheduling PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 3231 - 3244