–
Свидетельства о регистрации прав на программное обеспечение
-
- 2018 Программа динамической модульной верификации описаний цифровой аппаратуры C++TESK Testing Toolkit (SOFT)
- Авторы: Камкин А.С., Пакулин Н.В., Проценко А.С., Сортов А.А., Чупилко М.М.
- #2018663567, 31 октября
-
- 2016 Операционная система реального времени с поддержкой стандарта ARINC-653 (тип не указан)
- Авторы: Маллачиев К.А., Пакулин Н.В., Хорошилов А.В.
- #2016616968, 22 июня
-
- 2016 Многоуровневый планировщик операционной системы реального времени (тип не указан)
- Авторы: Цыварев А.В., Маллачиев К.А., Пакулин Н.В., Хорошилов А.В.
- #2016616621, 22 апреля