Login / Signup
Viktoria V. Kopach
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Data Analysis
Operating System
Top Venues
Program. Comput. Softw.
</>
Publications
</>
Denis Efremov
,
Viktoria V. Kopach
,
Eugene Kornykhin
,
Victor V. Kuliamin
,
Alexander K. Petrenko
,
Alexey V. Khoroshilov
,
Ilya V. Shchepetkov
Runtime Verification of Operating Systems Based on Abstract Models.
Program. Comput. Softw.
49 (7) (2023)