Travelled to:
1 × USA
Collaborated with:
X.Chen G.Huang H.Mei F.Chauvel
Talks about:
support (1) select (1) compon (1) toler (1) third (1) style (1) parti (1) model (1) fault (1) check (1)
Person: Junguo Li
DBLP: Li:Junguo
Contributed to:
Wrote 1 papers:
- CBSE-2009-LiCHMC #component #fault tolerance #model checking
- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support (JL, XC, GH, HM, FC), pp. 69–86.