| |
| 2007 | ||
|---|---|---|
| 2 | EE | Yujun Zheng, Jinquan Wang, Jinyun Xue: Agent Based Framework for Emergency Rescue and Assistance Planning. PAISI 2007: 70-81 |
| 2006 | ||
| 1 | EE | Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue: Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. FM 2006: 190-204 |
| 1 | Kan Wang | [1] |
| 2 | Jinyun Xue | [1] [2] |
| 3 | Yujun Zheng | [1] [2] |