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

Конференция [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-->