Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Захаров И. С.

Мутилин В. С.

Хорошилов А. В.

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

1

Вид:

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

Год:

2015

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

статический

верификация

моделирование

окружение

генерация модели

Стр.:

С.3-19

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

Библиогр.: c.18-19

Источник:

Программирование

Номер:

3

Карточка:

Б3.54.

Захаров И. С., Мутилин В. С., Хорошилов А. В..

Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX// Программирование-2015, №3.-С.3-19
Библиогр.: c.18-19

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

PAP31 917