Zobrazeno 1 - 4
of 4
pro vyhledávání: '"V. N. Glushkova"'
Autor:
V. N. Glushkova, K. S. Korovina
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://doaj.org/article/5a3a5adaf3be4565ac7ee865cc0238b1
Autor:
K. S. Korovina, V. N. Glushkova
Publikováno v:
Advanced Engineering Research, Vol 20, Iss 4, Pp 422-429 (2020)
Introduction. Verification packages design and analyze the correctness of parallel and distributed systems within the framework of various classes of temporal logics of linear and branching time. The paper discusses a polynomially realizable class of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8fcdebff70cde26648d9ddda887a651
https://doi.org/10.23947/2687-1653-2020-20-4-422-429
https://doi.org/10.23947/2687-1653-2020-20-4-422-429
Autor:
V. N. Glushkova
Publikováno v:
Cybernetics and Systems Analysis. 32:505-510
Further research should strive to strengthen the expressiveness of the class of Δ0T-formulas, because they express only the relation of hierarchical subordination and do not reflect the relation of “being to the left” for tree nodes. The introdu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::237878c89283e35ea058e89bea159baa
https://doi.org/10.1007/bf02366772
https://doi.org/10.1007/bf02366772
Autor:
V. N. Glushkova, O. A. Il'icheva
Publikováno v:
Cybernetics. 21:443-446
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6aed89cc54c641bff2f22fa35cd37bc
https://doi.org/10.1007/bf01070600
https://doi.org/10.1007/bf01070600