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

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

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

{{twittertag|ISPRASOPEN}}

{{rss4cat}}

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

{{stats|disqus_comments=169|median_plays=2732|refresh_time=2020-07-06T22:2021-08-31T18:54:34.612884:06.690870|vimeo_comments=0|vimeo_plays=478614|youtube_comments=310|youtube_plays=11061549}}







<!-- 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-->

Текущая версия на 15:54, 31 августа 2021

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

#ISPRASOPEN

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

Plays:2163   Comments:29


Most popular talks:

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

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

P

T

W

В

Г

Д

И

К

М

Н

О

П

Р

С

Т

У

Ф

Ч