|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Формальная проверка эквивалентности описаний цифровой аппаратурытезисы доклада
- Авторы: Смолов С.А., Камкин А.С., Лебедев М.С.
- Сборник: Новые информационные технологии в исследовании сложных структур: материалы Двенадцатой конференции с международным участием
- Тезисы
- Год издания: 2018
- Место издания: Издательский Дом Томского государственного университета Томск
- Первая страница: 83
- Последняя страница: 84
- Добавил в систему: Корныхин Евгений Валерьевич