Том 23, № 6 (2016)

Весь выпуск

Посмотреть или загрузить весь выпуск PDF

Содержание

Оригинальные статьи

От редактора специального выпуска PDF (Rus)
В. А. Захаров 671-672
Имитационное моделирование для анализа выполнимости приложений реального времени PDF (Rus)
С. Н. Баранов, В. В. Никифоров 673-687
Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM PDF (Rus)
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко 688-702
Подход к верификации семейства мультиагентных систем разрешения конфликтов PDF (Rus)
Н. О. Гаранина, Е. А. Сидорова 703-714
Построение каскадной параллельной композиции временных автоматов с использованием BALM-II PDF (Rus)
М. Л. Громов, Н. В. Шабалдина 715-728
Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата PDF (Rus)
А. Д. Ермаков, Н. В. Евтушенко 729-740
О минимизации конечных автоматов-преобразователей над полугруппами PDF (Rus)
В. А. Захаров, Г. Г. Темербекова 741-753
Формализм и языковые инструменты для описания семантики программных библиотек PDF (Rus)
В. М. Ицыксон 754-766
Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей PDF (Rus)
В. А. Александров, В. А. Десницкий, Д. Ю. Чалый 767-776
Генерация графа социальной сети с использованием Apache Spark PDF (Rus)
Ю. А. Белов, С. И. Вовчок 777-783
Бифуркации периодических решений уравнения Мэкки–Гласса PDF (Rus)
Е. П. Кубышкин, А. Р. Морякова 784-803
Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик PDF (Rus)
О. Б. Кушнаренко, Ж.-Ф. Вебер 804-825
Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки PDF (Rus)
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов 826-840
Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями PDF (Rus)
А. А. Кащенко 841-849
Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов PDF (Rus)
Е. А. Марушкина 850-859


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)