Моделирование окружения драйверов операционной системы Linux для поддержки процесса статической верификации.


Моделирование окружения драйверов операционной системы Linux для поддержки процесса статической верификации.

Авторы

Захаров И.С.

Полный текст статьи в формате pdf

Издание

Сборник трудов 55-ой научной конференции МФТИ "Управление и прикладная математика". Том 2.

Научная группа

Технологии программирования

Все публикации за 2012 год Все публикации