共 50 条
- [22] Static Analysis of Finite Precision Computations VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 232 - 247
- [23] Power spectral density analysis of ocean wave by using GPS buoy INTERNATIONAL JOURNAL OF INTEGRATED ENGINEERING, 2018, 10 (02): : 61 - 65
- [27] An assessment of wind forcing impact on a spectral wave model for the Indian Ocean Journal of Earth System Science, 2014, 123 : 1075 - 1087