共 50 条
- [42] Towards Automated Software Architectures Design Using Model Transformations and Evolutionary Algorithms GECCO-2010 COMPANION PUBLICATION: PROCEEDINGS OF THE 12TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2010, : 2097 - +
- [43] Chaining techniques for automated theorem proving in many-valued logics 30TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2000, : 337 - 344
- [44] Framework for defining model language metamodels for CASE tools MOMPES 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, 2008, : 14 - 23
- [45] An approach for model driven testing: framework, metamodels and tools COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2011, 26 (04): : 307 - 318
- [46] Bayesian model comparison by Monte Carlo chaining ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 9: PROCEEDINGS OF THE 1996 CONFERENCE, 1997, 9 : 333 - 339
- [49] APPLICATION OF KRIGING METAMODELS TO THE AUTOMATED START VALUE GENERATION FOR GAS TURBINE PERFORMANCE SIMULATIONS PROCEEDINGS OF THE ASME TURBO EXPO: TURBOMACHINERY TECHNICAL CONFERENCE AND EXPOSITION, 2018, VOL 1, 2018,
- [50] Pseudorandom analysis of cipher block chaining model Zhejiang Daxue Xuebao (Ziran Kexue Ban)/Journal of Zhejiang University (Natural Science Edition), 2000, 34 (06): : 670 - 672