Вы здесь

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