Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.

Ling Yuan, Jin Song Dong, Jing Sun

Browse the full APSEC paper archive.