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