![]() |
| 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] |