Захаров И. С.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX	2015	Захаров И. С., Мутилин В. С., Хорошилов А. В.				Программирование	22.07.2015
СТ	Конфигурируемая система статической верификации модулей ядра операционных систем	2015	Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В.				Программирование	12.03.2015