Travelled to:
1 × USA
Collaborated with:
T.Shi G.Argote-Garcia Y.Deng X.He
Talks about:
middlewar (1) analysi (1) formal (1) design (1) better (1) achiev (1) model (1)
Person: Weixiang Sun
DBLP: Sun:Weixiang
Contributed to:
Wrote 1 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.