共 50 条
- [41] A comparison of commercial software packages for microstrip antenna analysis [J]. IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-4: TRANSMITTING WAVES OF PROGRESS TO THE NEXT MILLENNIUM, 2000, : 152 - 155
- [42] A Survey of High-Performance Computing for Software Verification [J]. TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 196 - 208
- [45] Accuracy comparison of interior orientation parameters from different photogrammetric software and direct linear transformation method [J]. INTERNATIONAL JOURNAL OF ENGINEERING AND GEOSCIENCES, 2021, 6 (02): : 74 - 80
- [48] A comparison of different software programs on nutrition [J]. ERNAHRUNGS-UMSCHAU, 2002, 49 (08): : B29 - B35
- [49] Verification of Commercial Motor Performance for WEAVE at the William Herschel Telescope [J]. MULTI-OBJECT SPECTROSCOPY IN THE NEXT DECADE: BIG QUESTIONS, LARGE SURVEYS, AND WIDE FIELDS, 2016, 507 : 117 - 120
- [50] Effectively combining software verification strategies: Understanding different assumptions [J]. ISSRE 2006:17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2006, : 321 - +