共 50 条
- [4] Analysis and Optimization of Output Operations in the INM RAS Earth System Model Supercomput. front. innov., 2023, 4 (46-61): : 46 - 61
- [6] Towards Verification of Ensemble-Based Component Systems FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 41 - 60