Approximate Translation from Floating-Point to Real-Interval Arithmetic | 0 | 0.34 | 2022 |
Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data. | 0 | 0.34 | 2022 |
SMT-Based Model Checking of Industrial Simulink Models | 0 | 0.34 | 2022 |
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. | 0 | 0.34 | 2020 |
Template-Based Monte-Carlo Test Generation for Simulink Models. | 0 | 0.34 | 2017 |