共 19 条
[1]
Aloulou Hamdi, 2012, Impact Analysis of Solutions for Chronic Disease Prevention and Management. Proceedings 10th International Conference on Smart Homes and Health Telematics (ICOST 2012), P165, DOI 10.1007/978-3-642-30779-9_21
[2]
[Anonymous], P ACM INT S SOFTW TE
[3]
[Anonymous], INT WORKSH UB COMP
[4]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[5]
Biswas J, 2010, LECT NOTES COMPUT SC, V6159, P160, DOI 10.1007/978-3-642-13778-5_20
[8]
Gokhale SS, 2003, P 13 INT S SOFTW REL, P64
[10]
Comparison of architecture-based software reliability models
[J].
12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS,
2001,
:22-31