共 46 条
- [1] Abbors Fredrik., 2011, Applying Model-Based Testing in the Telecommunication Domain, P487
- [2] Statistical mechanics of complex networks [J]. REVIEWS OF MODERN PHYSICS, 2002, 74 (01) : 47 - 97
- [3] [Anonymous], 1995, Safeware: System Safety and Computers
- [4] [Anonymous], 2014, 8021AX2014 IEEE
- [5] [Anonymous], 2011, 291472011E ISOIECIEE
- [6] [Anonymous], 2013, 420102011 ISOIECIEEE
- [7] [Anonymous], 2010, 247652010E ISOIECIEE
- [8] [Anonymous], 2010, GRAPH THEORY COMPLEX
- [9] SOFTWARE TESTING BASED ON FORMAL SPECIFICATIONS - A THEORY AND A TOOL [J]. SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 387 - 405
- [10] The structure and dynamics of multilayer networks [J]. PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 2014, 544 (01): : 1 - 122