
Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment
Ji Zhong JI;Yong Jin ZHANG;Jian Cang JIE;Xiao Jiang WANG;Yong QI
Systems Engineering - Theory & Practice ›› 2002, Vol. 22 ›› Issue (3) : 102-108.
Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 |
|
〉 |