Вы здесь
Choi J. -Y.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Formal Modeling for a Real-Time Scheduler and Schedulability Analysis | 2003 | Kim S. -J., Choi J. -Y. | Lecture Notes in Computer Science | 14.11.2003 | |||
СТ | Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach | 2002 | Jin H. -W., Bang K. -S., Yoo C., Choi J. -Y., Cha H. | Lecture Notes in Computer Science | 01.05.2002 |