共 50 条
- [21] Scaling symbolic evaluation for automated verification of systems code with Serval PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19), 2019, : 225 - 242
- [23] An Automated Architectural Evaluation Approach Based on Metadata and Code Analysis ENTERPRISE INFORMATION SYSTEMS, ICEIS 2013, 2014, 190 : 490 - 505
- [24] QR Code Watermarking for Digital Images INFORMATION SECURITY APPLICATIONS, WISA 2019, 2020, 11897 : 25 - 37
- [26] Robust object watermarking: Application to code INFORMATION HIDING, PROCEEDINGS, 2000, 1768 : 368 - 378
- [27] AN EVALUATION BENCHMARK FOR AUTOMATIC SPEECH RECOGNITION OF GERMAN-ENGLISH CODE-SWITCHING 2021 IEEE AUTOMATIC SPEECH RECOGNITION AND UNDERSTANDING WORKSHOP (ASRU), 2021, : 811 - 816
- [29] Sound Quality Evaluation for Audio Watermarking Based on Phase Shift Keying Using BCH Code IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (01): : 89 - 94