• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Отладчик для операционной системы реального времени: проблемы мультиплатформенности

Емеленко А., Маллачиев К., Пакулин Н. В.

Труды Института системного программирования РАН. 2017. Т. 29. № 4. С. 295-302.

Глава в книге
A Memory Model for Deductively Verifying Linux Kernel Module

Khoroshilov A. V., Мандрыкин М. У.

In bk.: Perspectives of System Informatics - 11th International Andrei Ershov Informatics Conference, PSI 2017, Lecture Notes in Computer Science. Vol. 10742. Springer, 2017. P. 256-275.

Свободное общение – Новости

Интервью с директором Института системного программирования РАН

Директор Института системного программирования РАН, член-корреспондент РАН, заведующий базовой кафедрой "Системное программирование" НИУ ВШЭ Арутюн Аветисян дал интервью информационному агентству D-Russia."Сейчас решается вопрос нашего будущего как цивилизации".

Интервью с директором Института системного программирования РАН

Директор Института системного программирования РАН, член-корреспондент РАН, заведующий базовой кафедрой "Системное программирование" НИУ ВШЭ Арутюн Аветисян дал интервью информационному агентству Rambler News Service. "Институт основывается на трех компонентах: элитарное образование, передовые исследования и связь с индустрией".