共 50 条
- [34] Inverse hydrologic modeling using stochastic growth algorithms COMPUTATIONAL METHODS IN WATER RESOURCES XI, VOL 2: COMPUTATIONAL METHODS IN SURFACE FLOW AND TRANSPORT PROBLEMS, 1996, : 3 - 10
- [37] Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution Automatic Control and Computer Sciences, 2021, 55 : 932 - 940
- [38] Towards Predictions of Large Dynamic Systems' Behavior using Reduced-Order Modeling and Interval Computations 2017 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017, : 345 - 350