• «0x1.tv»
  • Докладчики
 

Категория:Илья Захаров

Материал из 0x1.tv

Версия от 17:37, 15 мая 2018; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
  • «0x1.tv»
  • Докладчики
Ссылки сюда (3) →
Илья Захаров.jpg
  • Можно подписаться на новые доклады в категории RSS/Atom

Доклады Ильи Захарова.

  • VK

Plays:27   Comments:0

Страницы в категории «Илья Захаров»

Показаны 3 страницы из 3, находящихся в данной категории.

  • Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
  • Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
  • Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)
Источник — «https://0x1.tv/index.php?title=Категория:Илья_Захаров&oldid=84474»
  • «0x1.tv»
  • Докладчики