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:
survivability, probability programs, probabilistic refinement, survivability specification, |