Публикации в базе данных Math-Net.Ru
-
Мониторинг информационной безопасности как облачный сервис
Системы и средства информ., 24:3 (2014), 169–175
-
Алгоритмы функционирования компилятора языка Cell
Системы и средства информ., 21:1 (2011), 117–140
-
Средства поддержки исполняемого кода, синтезированного по спецификациям, на языке Cell
Системы и средства информ., 21:1 (2011), 105–116
-
Базовая модель функционирования автомата в системе программирования Cell
Системы и средства информ., 20:3 (2010), 82–97
-
Язык Cell: модель обработки клонов
Системы и средства информ., 20:3 (2010), 67–81
-
Сигнальный механизм языка Cell
Системы и средства информ., 20:3 (2010), 45–66
-
Иерархические диаграммы состояний и переходов в синтезе телекоммуникационных протокольных автоматов
Системы и средства информ., 2009, № дополнительный выпуск, 77–85
© , 2024