共 50 条
- [2] TReX: A tool for reachability analysis of complex systems COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 368 - 372
- [8] Stochastic Pretopology as a Tool for Topological Analysis of Complex Systems INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2018, PT II, 2018, 10752 : 102 - 111
- [10] Reliability analysis and resilience measure of complex systems in shock events ELECTRONIC RESEARCH ARCHIVE, 2023, 31 (11): : 6657 - 6672