共 50 条
- [1] CHECKING MODELS IN STRUCTURAL DESIGN JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 1989, 115 (06): : 1309 - 1324
- [2] CHECKING MODELS IN STRUCTURAL DESIGN - DISCUSSION JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 1991, 117 (07): : 2188 - 2188
- [3] OPTIMIZATION OF STRUCTURAL DESIGN CHECKING JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 1989, 115 (10): : 2448 - 2460
- [4] SAFETY CHECKING FORMATS FOR LIMIT STATES DESIGN - CLOSURE JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 1983, 109 (06): : 1525 - 1525
- [5] CONSISTENCY CHECKING OF MECHATRONIC DESIGN MODELS PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, DETC 2010, VOL 3, A AND B, 2010, : 1141 - 1148
- [6] DYNAMIC REDUCTION OF STRUCTURAL MODELS - CLOSURE JOURNAL OF THE STRUCTURAL DIVISION-ASCE, 1982, 108 (02): : 484 - 485
- [7] Describing Pattern Languages for Checking Design Models APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 197 - 204
- [8] Computer-based structural design and conformance checking Structural Engineer, 2000, 78 (03): : 21 - 24
- [9] EXPERIMENT DESIGN AND GRAPHICAL ANALYSIS FOR CHECKING ACCELERATION MODELS MICROELECTRONICS AND RELIABILITY, 1993, 33 (05): : 741 - 763
- [10] Using Model Checking to Control the Structural Errors in BPMN Models 2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2013,