Crossmark

Runtime Verification of Operating Systems Based on Abstract Models

Crossref DOI link: https://doi.org/10.1134/S0361768823070034

Published Online: 2023-12-07

Published Print: 2023-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Efremov, D. V. https://orcid.org/0000-0002-9916-056X
Kopach, V. V. https://orcid.org/0000-0003-2461-9986
Kornykhin, E. V. https://orcid.org/0000-0001-9303-3132
Kuliamin, V. V. https://orcid.org/0000-0003-3439-9534
Petrenko, A. K. https://orcid.org/0000-0001-7411-3831
Khoroshilov, A. V. https://orcid.org/0000-0002-6512-4632
Shchepetkov, I. V. https://orcid.org/0000-0002-5794-004X
License Information

Text and Data Mining valid from 2023-12-01

Version of Record valid from 2023-12-01
More Information

Article History

Received: 10 January 2023

Revised: 18 January 2023

Accepted: 13 February 2023

First Online: 7 December 2023

CONFLICT OF INTEREST

: The authors declare that they have no conflicts of interest.