共 50 条
- [32] Safety analysis techniques for validating formal models during verification COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 58 - 66
- [35] Empirical Mode Decomposition As A Tool For Data Analysis 2011 6TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2011, : 2538 - 2543
- [37] The smooth decomposition as an output only analysis tool EURODYN 2014: IX INTERNATIONAL CONFERENCE ON STRUCTURAL DYNAMICS, 2014, : 2897 - 2904
- [38] Validating image processing algorithms MEDICAL IMAGING 2000: IMAGE PROCESSING, PTS 1 AND 2, 2000, 3979 : 2 - 16