共 50 条
- [25] Formal verification of designs with complex control by symbolic simulation CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 234 - 249
- [26] Multilevel simulation and numerical optimization of complex engineering designs JOURNAL OF AIRCRAFT, 1998, 35 (03): : 387 - 397
- [30] Effect of different sampling designs and methods on the estimation of secondary production: A simulation LIMNOLOGY AND OCEANOGRAPHY-METHODS, 2006, 4 : 38 - 48