Вы здесь

Mok A. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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