机译:Investigating System Survivability from a Probabilistic Perspective
E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China;
survivability; probability programs; probabilistic refinement; survivability specification;