Generic fault tolerant software architecture reasoning and customization

• Main Authors: Yuan, L., Dong, J.S., Sun, J., Basit, H.A.
• 其他作者: COMPUTER SCIENCE
• 格式: Article
• 出版: 2013
• 主題: Customization; Fault tolerance; Formal reasoning; Object-Z; Software architecture
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/38942
• 機構: National University of Singapore

10.1109/TR.2006.879605