2005 | ||
---|---|---|
2 | EE | Xin Lin, Shanping Li, Zhaohui Yang, Wei Shi: Application-oriented Context Modeling and Reasoning in Pervasive Computing. CIT 2005: 495-501 |
2001 | ||
1 | EE | Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng: A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. 16(3): 251-262 (2001) |
1 | Shanping Li | [2] |
2 | Xin Lin | [2] |
3 | Jun Pang | [1] |
4 | Wei Shi | [2] |
5 | Yunfeng Wang | [1] |
6 | Ming Zha | [1] |
7 | Guoliang Zheng | [1] |