Junguo Li, Xiangping Chen, Gang Huang, Hong Mei, Franck Chauvel. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support. In Grace A. Lewis, Iman Poernomo, Christine Hofmeister, editors, Component-Based Software Engineering, 12th International Symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Volume 5582 of Lecture Notes in Computer Science, pages 69-86, Springer, 2009. [doi]
Abstract is missing.