Moroz, Olha, V.N. Karazin Kharkiv National University, 6 Svobody Square, Kharkiv, Ukraine, 61022, Ukraine
-
Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» Vol. 56 (2022) - Статті
Technology of semantic-numerical verification of time-parameterized parallel programs for information and control systems
Abstract PDF (Українська)