|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Автоматизация верификации микропроцессоров на основе формальных спецификаций системы команддоклад на конференции
- Автор: Камкин А.С.
- Всероссийская с международным участием Конференция : Новые информационные технологии в исследовании сложных структур
- Даты проведения конференции: 4-8 июня 2018
- Дата доклада: 6 июня 2018
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: Алтайский край, п. Катунь, Russia
- Добавил в систему: Камкин Александр Сергеевич