BC/NW 2024 № 1 (41):12

12. Модели, методы и инструментальные средства проектирования распределенных информационных систем

12.1 Беликов Г. В., Абросимов Л. И. ВЫБОР АЛГОРИТМА СЖАТИЯ ДАННЫХ ДЛЯ ВНЕДРЕНИЯ В ТРАКТ СПУТНИКОВОЙ СВЯЗИ ИНФОРМАЦИОННОЙ СИСТЕМЫ МОРСКОГО И РЕЧНОГО ФЛОТА

12.2 Зайнутдинов М.М , Д.Г. Скоробогатов Д.Г., Хиль С.Ю., Орлов Д.А. ОБЗОР МЕТОДОВ СТАТИЧЕСКОГО АНАЛИЗА КОДА В PYTHON ПРИ ОТКЛЮЧЕННОЙ ГЛОБАЛЬНОЙ БЛОКИРОВКЕ ИНТЕРПРЕТАТОРА

12.3 Скоробогатов Д.Г., Зайнутдинов М.М., Хиль С.Ю., Орлов Д.А. СТАТИЧЕСКИЙ АНАЛИЗ ВЗАИМНЫХ БЛОКИРОВОК С ИСПОЛЬЗОВАНИЕМ АЛГОРИТМОВ СИМВОЛЬНОГО АНАЛИЗА В C++