Hong-liang Xie

Publication Activity (10 Years)

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

Publications

Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15 (3) (1998)
Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems. CAV (1996)
Jin-Young Choi, Insup Lee, Hong-liang Xie
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS (1995)