| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив |
|
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 | |