Информация об авторе
Timakov, A. A.
| Выпуск | Раздел | Название | Файл |
| № 1 (2024) | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | Описание семантики языка Paralocks в TLA+ | |
| № 4 (2023) | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | ВАРИАНТ РЕАЛИЗАЦИИ ПРОЦЕДУРЫ АНАЛИЗА ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНЫХ БЛОКАХ PL/SQL С ИСПОЛЬЗОВАНИЕМ ПЛАТФОРМЫ PLIF | |
| № 4 (2025) | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | Платформа PLIF: моделирование и проверка информационных потоков в программных блоках баз данных с использованием аппарата темпоральной логики действий TLA+ |