共 50 条
- [31] On the axiomatizability of ready traces, ready simulation, and failure traces AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 109 - 118
- [35] DETERMINING ACOUSTIC VELOCITY OF SUBSURFACE FORMATIONS FROM WELL LOG DATA JOURNAL OF PETROLEUM TECHNOLOGY, 1979, 31 (11): : 1453 - 1461
- [37] Seismic Wave Simulation Using a TTI Pseudo-acoustic Wave Equation ICIPEG 2016: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTEGRATED PETROLEUM ENGINEERING AND GEOSCIENCES, 2017, : 499 - 507
- [38] High-fidelity simulation capability for virtual testing of seismic and acoustic sensors Unattended Ground Sensor Technologies and Applications VII, 2005, 5796 : 105 - 116
- [39] Automatic Generation of Hardware Design Properties from Simulation Traces 2012 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS 2012), 2012, : 2317 - 2320
- [40] Computing Bounded Reach Sets from Sampled Simulation Traces HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 291 - 294