|
|
2019, том 26, номер 4
|
 |
|
 |
|
Editorials
|
|
От редакторов выпуска
В. А. Захаров, Н. В. Шилов
|
473 |
|
|
Computing methodologies and applications
|
|
|
Операционная семантика аннотированных Reflex программ
И. С. Ануреев
|
475 |
|
|
Safety analysis of longitudinal motion controllers during climb flight
T. Baar, H. Schulte
|
488 |
|
|
Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах
Д. А. Кондратьев, А. В. Промский
|
502 |
|
|
Proving properties of discrete-valued functions using deductive proof: application to the square root
V. Todorov, S. Taha, F. Boulanger, A. Hernandez
|
520 |
|
|
Theory of data
|
|
|
Методы специализации онтологии процессов, ориентированной на верификацию
Н. О. Гаранина, И. С. Ануреев, О. И. Боровикова, В. Е. Зюбин
|
534 |
|
|
Algorithms
|
|
|
Направляемый свойством поиск реляционных инвариантов
Д. А. Мордвинов
|
550 |
|
|
Computer system organization
|
|
|
Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием
В. Е. Горюнов
|
572 |
|
|
Пользовательское соглашение