| 2008 |
|---|
| 5 | EE | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 38(1): 93-99 (2008) |
| 2007 |
|---|
| 4 | EE | Yuyue Du,
Changjun Jiang,
MengChu Zhou:
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 37(5): 643-654 (2007) |
| 2004 |
|---|
| 3 | EE | Yuyue Du,
Changjun Jiang:
Verifying Functions in Online Stock Trading Systems.
J. Comput. Sci. Technol. 19(2): 203-212 (2004) |
| 2003 |
|---|
| 2 | EE | Yuyue Du,
Changjun Jiang:
Towards a Workflow Model of Real-Time Cooperative Systems.
ICFEM 2003: 452-470 |
| 2002 |
|---|
| 1 | EE | Yuyue Du,
Changjun Jiang:
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.
ICFEM 2002: 221-225 |
