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

Проценко А.С.

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

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

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

Copyright © 2009-2019 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН