Категория:Виталий Чепцов — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «{{dokl}} * mailto:cheptsov@ispras.ru») |
StasFomin (обсуждение | вклад) |
||
{{dokl}}
* mailto:cheptsov@ispras.ru
[[Категория:ContactOK]] | |||
Версия 17:19, 27 декабря 2018
- Можно подписаться на новые доклады в категории RSS/Atom
Страницы в категории «Виталий Чепцов»
Показаны 4 страницы из 4, находящихся в данной категории.
- Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
- Метод надёжной временной изоляции для ARINC 653 ОСРВ (Виталий Чепцов, OSDAY-2024)
- Обеспечение надёжной пространственной изоляции процессов посредством системы статического распределения памяти (OSDAY-2025)
- Проектирование бортовой ОСРВ с жёстким реальным временем для космического применения (Виталий Чепцов, OSDAY-2023)