Другие журналы
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Верификация коммуникационной сети топологии «4-d тор»
Молодежный научно-технический вестник # 09, сентябрь 2012
УДК: 00
Файл статьи:
Иванов А. М..pdf
(438.14Кб)
Иванов А. М..pdf
(438.14Кб)
1. Гаранина Н.О., «Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий» Дис. канд. физ.-мат. Наук, Новосибирск, 2004.
2. Кулямин В.В.: «Интеграция методов верификации программных систем», ИСП РАН, Москва, 2008.
3. А.Лохов «Функциональная верификация СБИС в свете решений Mentor Graphics», выст. «Метрология и измерительные системы» 2004.
Публикации с ключевыми словами: маршрутизатор, коммуникационные технологии, алгоритмы верификации
Публикации со словами: маршрутизатор, коммуникационные технологии, алгоритмы верификации
Смотри также:
Тематические рубрики:
Поделиться:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
