Travelled to:1 × Portugal
Collaborated with:X.Sun G.Huang W.Jiao Y.Sun H.Mei
Talks about:support (1) toward (1) mechan (1) formal (1) compon (1) updat (1) unifi (1) model (1) dynam (1)
Person: Junrong Shen
DBLP: Shen:Junrong
Contributed to:
2005Wrote 1 papers:
- ESEC-FSE-2005-ShenSHJSM #component #formal method #towards
- Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.