Информация об авторе
Рыжов, И. Г.
| Выпуск | Раздел | Название | Файл |
| № 4 (2025) | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | Платформа PLIF: моделирование и проверка информационных потоков в программных блоках баз данных с использованием аппарата темпоральной логики действий TLA+ |