| 1996 | ||
|---|---|---|
| 2 | Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan: Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. COMPSAC 1996: 36-40 | |
| 1995 | ||
| 1 | Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang: Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Trans. Software Eng. 21(1): 32-49 (1995) | |
| 1 | Eric Y. T. Juan | [2] |
| 2 | Jeffrey J. P. Tsai | [1] [2] |
| 3 | Stephen J. H. Yang | [2] |
| 4 | Steve Jennhwa Yang | [1] |