作者的详细信息
Timakov, A.
期 | 栏目 | 标题 | 文件 |
编号 4 (2023) | INFORMATION SECURITY | SCENARIO OF INFORMATION FLOW ANALYSIS IMPLEMENTATION IN PL/SQL PROGRAM UNITS WITH PLIF PLATFORM | |
编号 1 (2024) | INFORMATION SECURITY | Description of Paralocks language semantics in TLA+ |