共 50 条
- [32] Automated test case generation from high-level logic requirements using model transformation techniques 2017 9TH COMPUTER SCIENCE AND ELECTRONIC ENGINEERING (CEEC), 2017,
- [34] Model Checking B Models via High-Level Code Generation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13478 LNCS : 334 - 351
- [35] Solving scheduling problems from high-level models 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH, 2011, 9 (03): : 317 - 320
- [37] From High-Level Deep Neural Models to FPGAs 2016 49TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2016,
- [39] On automated generation of Web service level agreements ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2007, 4495 : 264 - +