( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking.

, , , , , и . QRS Companion, стр. 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.

Linshu Duan

Zhiyu Ma

Mingke Duan

Junrui Duan

Zhiyu Nie

 

Другие публикации лиц с тем же именем

Adaptive tracking control of uncertain large-scale nonlinear time-delay systems with input saturation., , , и . 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., , , и . Frontiers Inf. Technol. Electron. Eng., 25 (6): 839-855 (июня 2024)Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking., , , , , и . QRS Companion, стр. 152-160. IEEE, (2021)Visual-ISAM: A Visualization Method for Software Failure Analysis and Evaluation based on Knowledge Graph Utilizing Improved SALKU Model., , , , и . QRS Companion, стр. 270-277. IEEE, (2022)Voltage Prediction and Fault Detection by using Model Fusion Strategy for Lithium-ion Batteries., , , , и . QRS Companion, стр. 789-796. IEEE, (2023)A Multi-Layer Fault Triggering Framework based on Evolutionary Strategy Guided Symbolic Execution for Automated Test Case Generation., , , , и . QRS Companion, стр. 255-262. IEEE, (2022)Privacy-preserving secure control for nonlinear multi-agent systems under hybrid attacks., , , и . Commun. Nonlinear Sci. Numer. Simul., (2025)A Simulation based Intelligent Analysis Framework of Aircraft Reliability, Resilience and Vulnerability., , , , , и . QRS, стр. 347-356. IEEE, (2021)