Information

Dear user, the application need JavaScript support. Please enable JavaScript in your browser.

You search for a phrase ""Khoroshilov, A. V."" according to the criterion: Author


Title:
Runtime Verification of Operating Systems Based on Abstract Models
Authors:
Efremov, D. V.Aff1, IDS0361768823070034_cor1
Kopach, V. V.Aff1, IDS0361768823070034_cor2
Kornykhin, E. V.Aff1, Aff2, IDS0361768823070034_cor3
Kuliamin, V. V.Aff1, Aff2, Aff3, IDS0361768823070034_cor4
Petrenko, A. K.Aff1, Aff2, Aff3, IDS0361768823070034_cor5
Khoroshilov, A. V.Aff1, Aff2, Aff3, Aff4, IDS0361768823070034_cor6
Shchepetkov, I. V.Aff1, Aff3, IDS0361768823070034_cor7
Show more
Source:
Programming and Computer Software. 49(7):559-565
Academic Journal
Academic Journal

We use cookies to help identify your computer so we can tailor your user experience, track shopping basket contents and remember where you are in the order process.