共 50 条
- [31] Effects of reverberation time and sound source characteristics on sound localization in an indoor sound field Huanan Ligong Daxue Xuebao/Journal of South China University of Technology (Natural Science), 2007, 35 (SUPPL.): : 100 - 103
- [32] SPECTRAL CHARACTERISTICS OF SOUND SCATTERING BY A BODY IN A SOUND CHANNEL. 1974, 20 (03): : 283 - 284
- [33] A Modular Physically Based Approach to the Sound Synthesis of Membrane Percussion Instruments IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2010, 18 (04): : 891 - 902
- [35] Pattern evaluation and periodic verification of sound calibrators INTER-NOISE 96 - THE 1996 INTERNATIONAL CONGRESS ON NOISE CONTROL ENGINEERING, 25TH ANNIVERSARY CONGRESS - LIVERPOOL, PROCEEDINGS, BOOKS 1-6: NOISE CONTROL - THE NEXT 25 YEARS, 1996, : 2629 - 2632
- [36] Statistically Sound Verification and Optimization for Complex Systems AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : 411 - 427
- [37] Q: A Sound Verification Framework for Statecharts and Their Implementations PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2022, 2022, : 16 - 26