Категория:Алексей Хорошилов — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Массовая правка: добавление {{rss4cat}}) |
StasFomin (обсуждение | вклад) (Batch edit: add <!-- topub -->) |
||
Доклады [http://www.linkedin.com/in/alexeykhoroshilov Алексея Хорошилова].
* http://sp.cmc.msu.ru/staff/khav.html
<noinclude>[[Category:Докладчики|Х]]</noinclude>
<noinclude>[[Category:ToPublish]]</noinclude>
{{rss4cat}}
<!-- topub --> |
Версия 23:15, 9 ноября 2014
Доклады Алексея Хорошилова.
- http://sp.cmc.msu.ru/staff/khav.html
- Можно подписаться на новые доклады в категории RSS/Atom
Страницы в категории «Алексей Хорошилов»
Показано 6 страниц из 6, находящихся в данной категории.
- Анализ сложности реализации и верификации средств защиты информации в различных архитектурах защищенных ОС Linux (OSDAY-2018)
- Круглый стол «Взаимодействие разработчиков операционных систем и прикладного ПО, проблемы унификации и способы их решения» (OSDAY-2023)
- Обучение принципам построения ядра операционных систем на практике (Алексей Хорошилов, OSEDUCONF-2014)
- Обучение разработке операционных систем (Алексей Хорошилов, OSDAY-2018)
- Панельная секция 10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность? (SECR-2015)
- Свободная реализация ARINC-653-совместимой операционной системы реального времени (Алексей Хорошилов, OSSDEVCONF-2015)