共 50 条
- [21] CONCEPTUAL MODELING AND VALIDATION OF A HA/DR SCENARIO USING A WEIGHTED SYSTEM DECOMPOSITION MODEL 2015 WINTER SIMULATION CONFERENCE (WSC), 2015, : 2487 - 2498
- [24] Using Model Checking for Trivial File Transfer Protocol Validation 2014 INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND NETWORKING (COMNET), 2014,
- [27] Multistage Model Predictive Control with Online Scenario Tree Update using Recursive Bayesian Weighting 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), 2019, : 1443 - 1448
- [29] Dynamic model for tritium transfer in an aquatic food chain Radiation and Environmental Biophysics, 2011, 50 : 459 - 473