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