Style-based modeling and verification of fault tolerance service oriented architectures

Vahid Rafe, Farzaneh Mahdian. Style-based modeling and verification of fault tolerance service oriented architectures. Procedia CS, 3:972-976, 2011. [doi]

Abstract

Abstract is missing.