共 50 条
- [1] On Combining Model-Based Analysis and Testing PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 260 - 266
- [3] Investigation of energy saving potential for data centres based on load profile PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON FUTURE ENERGY SYSTEMS (E-ENERGY'17), 2017, : 271 - 277
- [4] Model-based camera calibration using analysis by synthesis techniques VISION MODELING, AND VISUALIZATION 2002, PROCEEDINGS, 2002, : 307 - 314
- [5] Model-based development: Combining engineering approaches and formal techniques Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3308 : 1 - 2
- [6] Model-based development:: Combining engineering approaches and formal techniques FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 1 - 2
- [7] A Model-Based Approach to Combining Static and Dynamic Verification Techniques LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 416 - 430
- [9] Adaptable model-based tracking using analysis-by- synthesis techniques COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS, 2007, 4673 : 20 - 27
- [10] Study on Energy Saving and Emission Reduction Using Data Envelopment Analysis Model NATURAL RESOURCES AND SUSTAINABLE DEVELOPMENT II, PTS 1-4, 2012, 524-527 : 2437 - +