共 50 条
- [23] New Verification of Reactive Requirement for Lyee Method NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2007, 161 : 225 - 238
- [24] Verification of the value of a new method of diagnosing leprosy COMPTES RENDUS DES SEANCES DE LA SOCIETE DE BIOLOGIE ET DE SES FILIALES, 1927, 97 : 264 - 265
- [25] A new method for FMS modeling and formal verification ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 224 - 231
- [26] An efficient interpolation scheme for the synthesis of linear arrays based on Schelkunoff polynomial method IEEE ANTENNAS AND WIRELESS PROPAGATION LETTERS, 2007, 6 : 484 - 487
- [27] A New Algorithm for Isomorphism Determination of Undirected Graphs-Circuit Simulation Method Circuits, Systems, and Signal Processing, 2011, 30 : 1115 - 1130
- [29] Linear Array Synthesis using Schelkunoff Polynomial Method and Particle Swarm Optimization 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER ENGINEERING AND APPLICATIONS (ICACEA), 2015, : 727 - 730