Категория:ISPRASOPEN-2018 — различия между версиями

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

Конференция [http://isprasopen.ru/ ISPRASOPEN-2018], она же открытая конференция [http://ispras.ru ИСП РАН] им. В.П. Иванникова, прошла 22-23 ноября 2018 года в Москве, в здании Российской Академии Наук.

{{twittertag|ISPRASOPEN}}

{{rss4cat}}

[[Категория:Конференции]]

{{stats|disqus_comments=16|median_plays=29|refresh_time=2020-07-19T20:33:27.044993|vimeo_comments=0|vimeo_plays=482|youtube_comments=3|youtube_plays=1113}}








<!-- Most Interested BEGIN-->


<small>
Most popular talks:
* [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]]
* [[Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018)]]
* [[Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018)]]
* [[Подход к анализу исполняемого кода на основе восстановления программной архитектуры (Дмитрий Кононов, ISPRASOPEN-2018)]]
* [[Функции-леммыРаспознавание именованных сущностей в среде Frama-C  использование С программ как доказательствзашумленных доменах (Григорий ВолковВлад Лялин, ISPRASOPEN-2018)]]
</small>
<!-- Most Interested END-->

Версия 01:25, 25 августа 2021

Конференция ISPRASOPEN-2018, она же открытая конференция ИСП РАН им. В.П. Иванникова, прошла 22-23 ноября 2018 года в Москве, в здании Российской Академии Наук.

#ISPRASOPEN

  • Можно подписаться на новые доклады в категории RSS/Atom

Plays:1595   Comments:19


Most popular talks:

Страницы в категории «ISPRASOPEN-2018»

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

P

T

W

В

Г

Д

И

К

М

Н

О

П

Р

С

Т

У

Ф

Ч