Viktoria V. Kopach

According to our database, Viktoria V. Kopach authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Runtime Verification of Operating Systems Based on Abstract Models.

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., December, 2023