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

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

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



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






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


2019, том 26, номер 4  


Editorials
От редакторов выпуска
В. А. Захаров, Н. В. Шилов
473

Computing methodologies and applications
Операционная семантика аннотированных Reflex программ
И. С. Ануреев
475
Safety analysis of longitudinal motion controllers during climb flight
T. Baar, H. Schulte
488
Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах
Д. А. Кондратьев, А. В. Промский
502
Proving properties of discrete-valued functions using deductive proof: application to the square root
V. Todorov, S. Taha, F. Boulanger, A. Hernandez
520

Theory of data
Методы специализации онтологии процессов, ориентированной на верификацию
Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова, В. Е. Зюбин
534

Algorithms
Направляемый свойством поиск реляционных инвариантов
Д. А. Мордвинов
550

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