Zobrazeno 1 - 1
of 1
pro vyhledávání: '"A.G. Yurtaev"'
Publikováno v:
Mathematical Methods in Technologies and Technics. :58-62
The article analyzes software verification of control systems based on finite state machines, presents a classification of software correctness checks, advantages and disadvantages of various approaches to software verification, and, as a result, jus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4aa4d4c17266a7a418954e33f80ebdac
https://doi.org/10.52348/2712-8873_mmtt_2022_11_58
https://doi.org/10.52348/2712-8873_mmtt_2022_11_58
