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

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

{{twittertag|ISPRASOPEN}}

{{rss4cat}}

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

{{stats|disqus_comments=16|median_plays=21|refresh_time=2020-01-08T02:16:38.994658|vimeo_comments=0|vimeo_plays=427|youtube_comments=3|youtube_plays=819}}







<!-- Most Interested BEGIN-->


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