| |
| 2008 | ||
|---|---|---|
| 3 | EE | Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong: A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. COMPSAC 2008: 112-115 |
| 2 | EE | Pengcheng Zhang, Bixin Li, Mingjie Sun: A Timed Extension of Property Sequence Chart. HASE 2008: 197-206 |
| 1 | EE | Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun: Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. ICWS 2008: 752-753 |
| 1 | Xufang Gong | [3] |
| 2 | Bixin Li | [1] [2] [3] |
| 3 | Henry Muccini | [1] |
| 4 | Pengcheng Zhang | [1] [2] [3] |
| 5 | Yu Zhou | [1] |