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