Author of the publication

Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking.

, , , , , and . QRS Companion, page 152-160. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adaptive tracking control of uncertain large-scale nonlinear time-delay systems with input saturation., , , and . Int. J. Syst. Sci., 52 (15): 3254-3265 (2021)PEGA: probabilistic environmental gradient-driven genetic algorithm considering epigenetic traits to balance global and local optimizations., , , and . Frontiers Inf. Technol. Electron. Eng., 25 (6): 839-855 (June 2024)Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking., , , , , and . QRS Companion, page 152-160. IEEE, (2021)Visual-ISAM: A Visualization Method for Software Failure Analysis and Evaluation based on Knowledge Graph Utilizing Improved SALKU Model., , , , and . QRS Companion, page 270-277. IEEE, (2022)Voltage Prediction and Fault Detection by using Model Fusion Strategy for Lithium-ion Batteries., , , , and . QRS Companion, page 789-796. IEEE, (2023)A Multi-Layer Fault Triggering Framework based on Evolutionary Strategy Guided Symbolic Execution for Automated Test Case Generation., , , , and . QRS Companion, page 255-262. IEEE, (2022)Privacy-preserving secure control for nonlinear multi-agent systems under hybrid attacks., , , and . Commun. Nonlinear Sci. Numer. Simul., (2025)A Simulation based Intelligent Analysis Framework of Aircraft Reliability, Resilience and Vulnerability., , , , , and . QRS, page 347-356. IEEE, (2021)