Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Татарников А.Д.

Институт системного программирования РАН

Листинг всех работ автора. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2016
		Татарников А.Д. Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд
2018
		Камкин А.С., Проценко А.С., Смолов С.А., Татарников А.Д. Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK