Xi WU


Investigating System Survivability from a Probabilistic Perspective
Yongxin ZHAO Yanhong HUANG Qin LI Huibiao ZHU Jifeng HE Jianwen LI Xi WU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/09/01
Vol. E97-D  No. 9  pp. 2356-2370
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
survivabilityprobability programsprobabilistic refinementsurvivability specification
 Summary | Full Text:PDF