共 50 条
- [21] A Sound Abstraction Method Towards Efficient Neural Networks Verification VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2023, 2024, 14368 : 76 - 89
- [30] Towards Professionalization of Evaluation: Voluntary Evaluator Peer Review Is this the Road to Travel? ZEITSCHRIFT FUR EVALUATION, 2015, 14 (02): : 195 - 213