Author Details
Тимаков, А. А.
Issue | Section | Title | File |
No 4 (2023) | INFORMATION SECURITY | SCENARIO OF INFORMATION FLOW ANALYSIS IMPLEMENTATION IN PL/SQL PROGRAM UNITS WITH PLIF PLATFORM | |
No 1 (2024) | INFORMATION SECURITY | Description of Paralocks language semantics in TLA+ |