RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2018, том 25, номер 5  


Редакционная статья
От редакторов специального выпуска
В. А. Захаров, Н. В. Шилов
463

Верификация программ
A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
T. Baar, S. Staroletov
465
О методах верификации и разработки программ развития сельскохозяйственных территорий
Х. Л. Вега Висе, В. Ю. Михайлов
481
Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов
Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий
491

Прикладные логики
О выразительных возможностях некоторых расширений линейной темпоральной логики
А. Р. Гнатенко, В. А. Захаров
506
О безопасности одно- и многоместных IFP-операторов
С. М. Дудаков
525

Синтез и преобразования программ
Polyprograms and polyprogram bisimulation
S. A. Grechanik
534
Etude on recursion elimination
N. V. Shilov
549

Теория автоматов
Universal hypergraphic automata representation by autonomous input symbols
E. V. Khvorostukhina, V. A. Molchanov
561

Динамика нейронных сетей
Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью
С. Д. Глызин, Е. А. Марушкина
572
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019