共 50 条
- [26] Refinement and verification of synchronized component-based systems FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 341 - 358
- [27] Theoretical and Numerical Analysis of Diamagnetic Levitation and its Experimental Verification INTERNATIONAL CONFERENCE ON PHOTONICS AND OPTICAL ENGINEERING (ICPOE 2014), 2015, 9449
- [28] NUMERICAL-ANALYSIS AND EXPERIMENTAL-VERIFICATION OF ELASTOMERIC BEARINGS VERTICA, 1984, 8 (02): : 119 - 131
- [29] Verified numerical analysis of the performance of switching systems in telecommunication NUMERICAL SOFTWARE WITH RESULT VERIFICATION, 2004, 2991 : 206 - 225
- [30] Numerical analysis and experimental verification of optical scattering from microplastics ROYAL SOCIETY OPEN SCIENCE, 2023, 10 (08):