共 50 条
- [41] ANALYSIS AND DEVELOPMENT OF PERFORMANCE-BASED REQUIREMENTS FOR RAILROAD TANK CARS PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, 2014, 2014,
- [42] A Dataflow Analysis to Improve SAT-Based Bounded Program Verification SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 138 - +
- [43] Development and Verification of Transient Analysis Program for Thermoelectric Space Heat Pipe Cooled Reactor Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2024, 58 (01): : 69 - 83
- [44] Optimization Analysis and Verification of Negative Moment Reduction for Bridge Structure Based Different Support Pattern SUSTAINABLE CITIES DEVELOPMENT AND ENVIRONMENT PROTECTION, PTS 1-3, 2013, 361-363 : 1297 - +
- [46] Security Analysis of Role-Based Access Control through Program Verification 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 113 - 125
- [47] SECOND ORDER NUMERICAL ANALYSIS OF FULL-SCALE TUBE AND FITTING SCAFFOLD STRUCTURES WITH NON-LINEAR MOMENT-CURVATURE: COMPARISON OF 2D AND 3D MODELS STEEL AND ALUMINIUM STRUCTURES, 2016,
- [49] Computational verification of 3D thermal analysis program based on SANA experiment Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University, 2023, 44 (12): : 2170 - 2176