Zobrazeno 1 - 4
of 4
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
Autor:
Moskovchenko, Dmitriy, Soromotin, Andrei, Khoroshavin, Vitaliy, Prikhodko, Nikolay, Kirillov, Vladimir, Koveshnikov, Mikhail, Krylova, Eugenia, Krasnenko, Aleksander, Pechkin, Aleksander
Publikováno v:
Water (20734441); Aug2024, Vol. 16 Issue 15, p2112, 19p
Publikováno v:
Water (20734441); Nov2021, Vol. 13 Issue 21, p3107, 1p
Treatise on Geomorphology, Second Edition, Eleven Volume Set is organized into eleven volumes built on the outstanding success of the first edition. This comprehensive introduction to the large and diverse discipline of geomorphology provides a key r
