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


Применение аспектно-ориентированного программирования для поддержки верификации ядра операционной системы Linux.

Авторы

Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов.

Издание

Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр.31-33, Москва-Долгопрудный, 2009.

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

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

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