Том 26, № 4 (2019)

Весь выпуск

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

Содержание

Editorials

От редакторов выпуска PDF (Rus)
В. А. Захаров, Н. В. Шилов 473-474

Computing Methodologies and Applications

Операционная семантика аннотированных Reflex программ PDF (Rus)
Игорь Сергеевич Ануреев 475-487
Анализ безопасности контроллеров продольного движения во время набора высоты PDF (Eng)
Томас Баар, Хорст Шульте 488-501
Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах PDF (Rus)
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский 502-519
Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню PDF (Eng)
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес 520-533

Theory of Data

Методы специализации онтологии процессов, ориентированной на верификацию PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин 534-549

Algorithms

Направляемый свойством поиск реляционных инвариантов PDF (Rus)
Дмитрий Александрович Мордвинов 550-571

Computer System Organization

Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием PDF (Rus)
Владимир Евгеньевич Горюнов 572-582


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


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