共 50 条
- [11] DESIGN OF A FORMAL ESTELLE SEMANTICS FOR VERIFICATION IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 153 - 168
- [12] Semantics of the iterative statements: a formal approach LINGUISTICAE INVESTIGATIONES, 2015, 38 (01): : 133 - 182
- [14] Study on Commercial Application of Sustainable Design for Youth Product ADVANCES IN ENGINEERING DESIGN AND OPTIMIZATION II, PTS 1 AND 2, 2012, 102-102 : 136 - 139
- [15] A view-based approach to modeling product semantics in design chains INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 32 (9-10): : 863 - 876
- [17] Product Safety Risk Assessment Approach to Sustainable Design International Journal of Precision Engineering and Manufacturing-Green Technology, 2023, 10 : 783 - 788
- [18] A view-based approach to modeling product semantics in design chains The International Journal of Advanced Manufacturing Technology, 2007, 32 : 863 - 876
- [20] FORMAL REPRESENTATION OF PRODUCT DESIGN SPECIFICATIONS FOR VALIDATING PRODUCT DESIGN ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, PROCEEDINGS, VOL 2, PTS A AND B, 2010, : 1411 - 1422