Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2002

Ключевые слова:

интерфейс

верификация

Стр.:

P.170-186

Библиография:

Bibliogr.: p.181-182

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2318

Карточка:

А3.53, Б3.54.

Jin H. -W., Bang K. -S., Yoo C., Choi J. -Y., Cha H..

Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach: Springer// Lecture Notes in Computer Science-2002.-Vol. 2318.-P.170-186
Bibliogr.: p.181-182

Таблица в старой библиотеке:

PAP24 784