|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУРсборник
- Год издания: 2016
- Место издания: Томск
- Сборник тезисов
- Добавил в систему: Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
-
- 2016 АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ОПИСАНИЙ ЦИФРОВОЙ АППАРАТУРЫ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ С ПОМОЩЬЮ ИНСТРУМЕНТА NUXMV
- Камкин А.С., Смолов А.С., Лебедев М.С.
- в сборнике НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР, место издания Томск, тезисы, с. 50-51