1 documents found
Olha Moroz. Information technology for verification of parallel time-parameterized programs of information control systems
: Доктор філософії :
spec.. 122 - Комп’ютерні науки :
presented. 2024-01-24; .
V.N. Karazin Kharkiv National University. – Харків,
0823U102005.
1 documents found
Updated: 2024-08-22