Yao-Hsiung Chang

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

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)
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) (1995)