共 50 条
- [41] A New Sample Selection Method for Testability Verification Experiment MACHINE DESIGN AND MANUFACTURING ENGINEERING III, 2014, : 95 - 98
- [43] New Formal Verification Method Based on A Trace Logic 2008 INTERNATIONAL WORKSHOP ON INFORMATION TECHNOLOGY AND SECURITY, 2008, : 9 - 11
- [46] Verification of a new method for evaluation of liquefaction potential analysis Arabian Journal of Geosciences, 2013, 6 : 881 - 892
- [47] Operational Annotations A New Method for Sequential Program Verification NASA FORMAL METHODS (NFM 2022), 2022, 13260 : 597 - 615
- [48] A NEW ELECTRONIC VERIFICATION METHOD FOR VECTOR NETWORK ANALYZERS 2010 CONFERENCE ON PRECISION ELECTROMAGNETIC MEASUREMENTS CPEM, 2010, : 587 - 588
- [49] A NEW ALGORITHM FOR INDUCED SUBGRAPH ISOMORPHISM UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS, 2016, 78 (01): : 171 - 180
- [50] Efficient Design of Super-Directive Antenna Array Using Schelkunoff Method and Genetic Algorithm IEEE CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING, 2024, 47 (04): : 168 - 174