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

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