共 50 条
- [1] Directional wave overtopping estimation model and experimental verification COASTAL ENGINEERING 1998, VOLS 1-3, 1999, : 2249 - 2261
- [3] Verification of Interlocking Systems Using Statistical Model Checking 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017), 2017, : 61 - 68
- [4] SoS contract verification using statistical model checking ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (133): : 67 - 83
- [5] Experimental studies on the possibility of people verification using few frontal EEG derivations PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2020, 2020, 11581
- [6] POSSIBILITY OF USING ARTIFICIAL EARTH SATELLITES FOR THE EXPERIMENTAL VERIFICATION OF THE THEORY OF GENERAL RELATIVITY SOVIET PHYSICS JETP-USSR, 1956, 3 (01): : 136 - 138
- [9] A Model-based Torque Estimation for Combusion Engines and Experimental Verification 2010 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2010, : 707 - 712