Author of the publication

Epidemic spreading model of complex dynamical network with the heterogeneity of nodes.

, , , and . Int. J. Systems Science, 47 (11): 2745-2752 (2016)

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

Availability Analysis and Optimal Design of Multistate Weighted k-Out-of-n Systems With Component Performance Requirements., , , and . IEEE Access, (2018)Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging., , and . Cognition, Technology & Work, 18 (4): 777-791 (2016)Epidemic spreading model of complex dynamical network with the heterogeneity of nodes., , , and . Int. J. Systems Science, 47 (11): 2745-2752 (2016)How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification., , , , and . Rel. Eng. & Sys. Safety, (2015)Risk Assessment of Railway Transportation Systems using Timed Fault Trees., , , , and . Quality and Reliability Eng. Int., 32 (1): 181-194 (2016)Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker., , , , and . CSE, page 704-713. IEEE Computer Society, (2014)XML-based modeling method of phased-mission systems subject to probabilistic common cause failures., , , and . Journal of Intelligent and Fuzzy Systems, 36 (2): 871-884 (2019)A research for embedded system software accident mechanism., , and . ICSRS, page 460-464. IEEE, (2017)A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System., , , , and . EMS, page 611-616. IEEE, (2013)An improved system safety Analysis Method based on Accimap., , and . IEEM, page 1142-1146. IEEE, (2015)