Informaçao sobre o Autor
TIMAKOV, A. A.
| Edição | Seção | Título | Arquivo |
| Nº 1 (2024) | INFORMATION SECURITY | Description of Paralocks language semantics in TLA+ | |
| Nº 4 (2023) | INFORMATION SECURITY | SCENARIO OF INFORMATION FLOW ANALYSIS IMPLEMENTATION IN PL/SQL PROGRAM UNITS WITH PLIF PLATFORM | |
| Nº 4 (2025) | INFORMATION SECURITY | PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+ |