共 50 条
- [44] A Modular Three-Dimensional Scenario-Based Numerical Modelling of Groundwater Flow Water Resources Management, 2020, 34 : 1913 - 1932
- [48] Formal modelling of C-elegans development.: A scenario-based approach MODELLING IN MOLECULAR BIOLOGY, 2004, : 151 - 173
- [50] A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving IEEE ACCESS, 2019, 7 : 140566 - 140587