共 35 条
- [2] Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems Real-Time Systems, 2003, 25 : 255 - 275
- [6] Real-time life and degradation prediction of ceramic filter tube based on state-space model Korean Journal of Chemical Engineering, 2021, 38 : 2122 - 2128
- [10] Enhancing the Parallel State Space Generation for Real-Time Systems PROCEEDINGS OF 2015 THIRD IEEE WORLD CONFERENCE ON COMPLEX SYSTEMS (WCCS), 2015,