Том 25, № 5 (2018)

Весь выпуск

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

Содержание

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

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

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

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

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

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


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


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