| 1998 |
|---|
| 3 | | 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 Systems 15(3): 189-219 (1998) |
| 1996 |
|---|
| 2 | | 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 Sytems.
CAV 1996: 402-405 |
| 1995 |
|---|
| 1 | | Jin-Young Choi,
Insup Lee,
Hong-liang Xie:
The Specification and Schedulability Analysis of Real-Time Systems using ACSR.
IEEE Real-Time Systems Symposium 1995: 266-275 |
