PDF(164 KB)
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.
PDF(164 KB)
PDF(164 KB)
Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment
| {{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
| 〈 |
|
〉 |