Junguo Li, Xiangping Chen, Gang Huang, Mei Hong, Franck Chauvel. Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support.
International SIGSOFT Symposium on Component-based Software Engineering (CBSE), Jun 2009, East Stroudsburg, United States.
⟨inria-00459608⟩