共 50 条
- [3] Dynamic verification of an optimisation algorithm for power dispatch of integrated energy systems [J]. FRONTIERS IN ENERGY RESEARCH, 2024, 12
- [6] Information Systems Modeling: Language, Verification, and Tool Support [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 194 - 212
- [7] Dynamic and Formal Verification of Embedded Systems: A Comparative Survey [J]. International Journal of Parallel Programming, 2005, 33 : 585 - 611
- [8] Comparative analysis of the international carbon verification policies and systems [J]. Natural Hazards, 2016, 84 : 381 - 397