ИСП РАН
Институт системного программирования Российской Академии Наук
Об институте
Структура института
Образование
Издания
Гранты
Новости
Об отделе
Сотрудники
Проекты
Образование
Мероприятия
Публикации
Ресурсы
Требуются
Адрес:
109004, г. Москва,
ул. А. Солженицына,
дом 25.
Схема проезда
Факс:
+7(495) 912-15-24
E-mail:
info-isp@ispras.ru
Отдел «Технологий программирования»
Ресурсы
Центр верификации ОС Linux
Проект развития инфраструктуры стандарта Linux Standard Base (LSB)
Проект верификации модулей ядра ОС Linux
Технология UniTESK
Верификация аппаратуры и инструменты кросс-разработки
Открытые проекты