Автор туралы ақпарат
Timakov, A. A.
| Шығарылым | Бөлім | Атауы | Файл |
| № 1 (2024) | INFORMATION SECURITY | Description of Paralocks language semantics in TLA+ | |
| № 4 (2023) | INFORMATION SECURITY | SCENARIO OF INFORMATION FLOW ANALYSIS IMPLEMENTATION IN PL/SQL PROGRAM UNITS WITH PLIF PLATFORM | |
| № 4 (2025) | INFORMATION SECURITY | PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+ |