共 50 条
- [41] Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017 Formal Methods in System Design, 2021, 57 : 303 - 304
- [44] Introduction to the special issue on mathematics and algorithms in computer-aided manufacturing, engineering, and numerical control Journal of Systems Science and Complexity, 2013, 26 : 665 - 666
- [50] Special issue editorial on computer-aided advanced analytics Journal of Systems Science and Systems Engineering, 2016, 25 : 269 - 270