Том 25, № 5 (2018)

Весь выпуск

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

Содержание

Редакционные статьи

От редакторов специального выпуска PDF (Rus)
В. А. Захаров, Н. В. Шилов 463-464

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

Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью PDF (Rus)
Сергей Дмитриевич Глызин, Елена Александровна Марушкина 572-583
Представление универсальных гиперграфических автоматов автономными выходными сигналами PDF (Eng)
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов 561-571
Этюд об устранении рекурсии PDF (Eng)
Николай Вячеславович Шилов 549-560

Материалы конференции

О выразительных возможностях некоторых расширений линейной темпоральной логики PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров 506-524
Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae PDF (Eng)
Томас Баар, Сергей Михайлович Старолетов 465-480
Полипрограммы и бисимуляция полипрограмм PDF (Eng)
Сергей Александрович Гречаник 534–548
О методах верификации и разработки программ развития сельскохозяйственных территорий PDF (Rus)
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов 481-490
О безопасности одно- и многоместных IFP-операторов PDF (Rus)
Сергей Михайлович Дудаков 525-533
Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов PDF (Rus)
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий 491-505


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


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