Author Details
TIMAKOV, A. A.
| Issue | Section | Title | File |
| No 1 (2024) | INFORMATION SECURITY | Description of Paralocks language semantics in TLA+ | |
| No 4 (2023) | INFORMATION SECURITY | SCENARIO OF INFORMATION FLOW ANALYSIS IMPLEMENTATION IN PL/SQL PROGRAM UNITS WITH PLIF PLATFORM | |
| No 4 (2025) | INFORMATION SECURITY | PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+ |