共 50 条
- [21] Equivalence checking using structural methods IT - Information Technology, 2001, 43 (01): : 8 - 15
- [22] CHECKING STRUCTURAL DRAWINGS WITH A PROGRAMMABLE CALCULATOR STRUCTURAL ENGINEERING PRACTICE, 1982, 1 (01): : 15 - 20
- [23] CHECKING MODELS IN STRUCTURAL DESIGN - CLOSURE JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 1991, 117 (07): : 2188 - 2189
- [24] Effect of Cynoacrylate as Surface Hardener on Gypsum Die Material JOURNAL OF THE LIAQUAT UNIVERSITY OF MEDICAL AND HEALTH SCIENCES, 2012, 11 (03): : 185 - 189
- [25] Modular specification and checking of structural dependencies Lect. Notes Comput. Sci., (193-226):
- [27] Cobra: Fast Structural Code Checking SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 1 - 8
- [28] ULTRASONIC METHOD OF CHECKING POROSITY OF GRANULATED MATERIAL INDUSTRIAL LABORATORY, 1979, 45 (05): : 558 - 560
- [29] Mechanical Behavior of Gypsum and Cork Based Composite Material ADVANCED MATERIALS FORUM VI, PTS 1 AND 2, 2013, 730-732 : 361 - +