СТ |
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems |
2002 |
Mok A. K., Feng A. X. |
|
|
|
Lecture Notes in Computer Science |
11.11.2002 |
СТ |
A Multiframe Model for Real-Time Tasks |
1997 |
Mok A. K., Chen D. |
|
|
|
IEEE Trans. on Software Engineering |
19.02.1998 |
СТ |
RTL and Refutation by Positive Cycles |
1994 |
Wang F., Mok A. K. |
|
|
|
Lecture Notes in Computer Science |
14.12.1994 |
СТ |
Coping with Implementation Dependencies in Real-Time System Verification |
1992 |
Mok A. K. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |