共 50 条
- [32] Verification techniques for distributed algorithms PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4305 : 172 - 186
- [33] Subspace algorithms for face verification Advances in Intelligent and Soft Computing, 2011, 95 (04): : 23 - 31
- [35] VERIFICATION OF TRACTOR GUIDANCE ALGORITHMS TRANSACTIONS OF THE ASAE, 1987, 30 (02): : 305 - 310
- [36] PAC Verification of Statistical Algorithms THIRTY SIXTH ANNUAL CONFERENCE ON LEARNING THEORY, VOL 195, 2023, 195
- [39] A method for the verification of haptic algorithms INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2006, 3941 : 114 - 125
- [40] Formal Verification of Financial Algorithms AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 26 - 41