Автор туралы ақпарат

Рыжов, И. Г.

Шығарылым Бөлім Атауы Файл
№ 4 (2025) INFORMATION SECURITY PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+