共 50 条
- [1] Experimental Verification of Track Structure Models 2008 IEEE NUCLEAR SCIENCE SYMPOSIUM AND MEDICAL IMAGING CONFERENCE (2008 NSS/MIC), VOLS 1-9, 2009, : 2165 - +
- [3] Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 199 - 201
- [4] Runtime Verification of Operating Systems Based on Abstract Models Programming and Computer Software, 2023, 49 : 559 - 565
- [7] EVALUATION OF 3 SOIL-EROSION MODELS FOR CLAY SOILS AUSTRALIAN JOURNAL OF SOIL RESEARCH, 1989, 27 (01): : 199 - 211
- [8] Clay minerals and the development of Quaternary soils in central Italy REVISTA MEXICANA DE CIENCIAS GEOLOGICAS, 2004, 21 (01): : 144 - 159
- [9] Development of integrated RC roadbed for slab track on clay subgrade ADVANCES IN TRANSPORTATION GEOTECHNICS II, 2012, : 219 - 224