Конфигурируемая система статической верификации модулей ядра операционных систем

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2015

Ключевые слова:

Стр.:

С.44-67

Библиография:

Библиогр.: c.65-67

Источник:

Номер:

Карточка:

В4.16.

Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В..

Конфигурируемая система статической верификации модулей ядра операционных систем// Программирование-2015, №1.-С.44-67
Библиогр.: c.65-67

Таблица в старой библиотеке:

PAP31 910