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