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

Лебедев М.С.

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

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

2016
		Лебедев М.С., Смолов С.А. Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей