共 50 条
- [31] Verification Techniques for Policy based Systems [J]. 2017 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTED, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2017,
- [32] Coupled evolutionary shape optimization and reverse engineering in product design and virtual prototyping [J]. WSEAS Transactions on Systems, 2009, 8 (03): : 390 - 399
- [33] Engineering design to manufacture through a virtual environment [J]. IWALT 2000: INTERNATIONAL WORKSHOP ON ADVANCED LEARNING TECHNOLOGIES: ADVANCED LEARNING TECHNOLOGY: DESIGN AND DEVELOPMENT ISSUES, 2000, : 225 - 228
- [34] Virtual prototyping of mechatronic systems [J]. ANNUAL REVIEWS IN CONTROL, 2004, 28 (02) : 193 - 206
- [35] A NEW APPROACH TO THE DESIGN OF SAFETY-CRITICAL SYSTEMS BASED ON VIRTUAL PROTOTYPING, ASSERTIONS AND SIMULATION [J]. PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON ADVANCED RESEARCH IN VIRTUAL AND RAPID PROTOTYPING, 2003, : 284 - 291
- [37] Virtual prototyping:: The integration of design and virtual reality [J]. CAD TOOLS AND ALGORITHMS FOR PRODUCT DESIGN, 2000, : 128 - 150
- [38] TECHNIQUE PROVIDES DESIGN VERIFICATION AND PROTOTYPING [J]. MICROWAVES & RF, 1995, 34 (08) : 96 - &
- [39] Virtual prototyping in the design of see-through features in mobile machinery [J]. Virtual Reality, 2020, 24 : 23 - 37
- [40] On the combination of assertions and virtual prototyping for the design of safety-critical systems [J]. TRENDS IN NETWORK AND PERVASIVE COMPUTING - ARCS 2002, 2002, 2299 : 195 - 208