Travelled to:1 × USA
Collaborated with:X.He W.Sun G.Argote-Garcia Y.Deng
Talks about:model (2) architectur (1) middlewar (1) protocol (1) communic (1) softwar (1) analysi (1) formal (1) design (1) better (1)
Person: Tianjun Shi
DBLP: Shi:Tianjun
Contributed to:
2006
2002Wrote 2 papers:
- SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling
- Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.
- WICSA-2002-ShiH #architecture #communication #modelling #protocol #using
- Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM (TS, XH), pp. 63–77.