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

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

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



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






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


2016, том 23, номер 6  


Имитационное моделирование для анализа выполнимости приложений реального времени
С. Н. Баранов, В. В. Никифоров
673
Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
688
Подход к верификации семейства мультиагентных систем разрешения конфликтов
Н. О. Гаранина, Е. А. Сидорова
703
Построение каскадной параллельной композиции временных автоматов с использованием BALM-II
М. Л. Громов, Н. В. Шабалдина
715
Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата
А. Д. Ермаков, Н. В. Евтушенко
729
О минимизации конечных автоматов-преобразователей над полугруппами
В. А. Захаров, Г. Г. Темербекова
741
Формализм и языковые инструменты для описания семантики программных библиотек
В. М. Ицыксон
754
Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый
767
Генерация графа социальной сети с использованием Apache Spark
Ю. А. Белов, С. И. Вовчок
777
Бифуркации периодических решений уравнения Мэкки–Гласса
Е. П. Кубышкин, А. Р. Морякова
784
Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик
О. Б. Кушнаренко, Ж.-Ф. Вебер
804
Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
826
Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями
А. А. Кащенко
841
Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов
Е. А. Марушкина
850
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019