共 50 条
- [35] Algebra of Concurrent Design [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 5 - 5
- [37] Robust concurrent design [J]. PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 3403 - 3408
- [38] A Lightweight Approach to the Concurrent Use and Integration of SysML and Formal Methods in Systems Design [J]. ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 83 - 84
- [39] CONCURRENT DESIGN MODEL FOR VARIANT PRODUCT DESIGN [J]. 2011 INTERNATIONAL CONFERENCE ON MECHANICAL ENGINEERING AND TECHNOLOGY (ICMET 2011), 2011, : 29 - 34
- [40] Concurrent design environment with Robust Design concept [J]. INFORMATION PROCESSING IN PRODUCTION DEVELOPMENT: EFFICIENT 3D MODELING - ADVANCES AND PITFALLS, 2001, 1614 : 403 - 414