共 65 条
[32]
Harrison J, 1996, 36 TURK CTR COMP
[33]
Hasan O., 2014, Advances in Information Quality and Management, P7162
[34]
Performance analysis of ARQ protocols using a theorem prover
[J].
ISPASS 2008: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE,
2008,
:85-+
[35]
Hasan O, 2007, LECT NOTES ARTIF INT, V4603, P3
[36]
Henley E.J., 1981, RELIABILITY ENG RISK
[37]
Holzl Johannes, 2011, Interactive Theorem Proving. Proceedings Second International Conference, ITP 2011, P135, DOI 10.1007/978-3-642-22863-6_12
[38]
Hurd J., 2003, THESIS
[39]
Kanabar M.G., 2009, Proc. IEEE Power Energy Society General Meeting, Calgary, AB, P1, DOI DOI 10.1109/PES.2009.5276001
[40]
Khurram A, 2013, LECT NOTES COMPUT SC, V8187, P169, DOI 10.1007/978-3-642-41010-9_12