Zobrazeno 1 - 10
of 14
pro vyhledávání: '"D.Yu. Petrov"'
Publikováno v:
Mathematical Methods in Technologies and Technics. :7-11
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::efe481c0e52d45ee8b479453df100b7e
https://doi.org/10.52348/2712-8873_mmtt_2022_9_07
https://doi.org/10.52348/2712-8873_mmtt_2022_9_07
Autor:
Yu.A. Zakharov, D.Yu. Petrov
Publikováno v:
Mathematical Methods in Technologies and Technics. :119-125
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5855bd86bbe0b581fb31222b6add27b0
https://doi.org/10.52348/2712-8873_mmtt_2022_12_119
https://doi.org/10.52348/2712-8873_mmtt_2022_12_119
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:
D.Yu. Petrov
Publikováno v:
Mathematical Methods in Technologies and Technics. :113-118
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b637223aee691aa975c3f5f9d9ee7019
https://doi.org/10.52348/2712-8873_mmtt_2021_6_113
https://doi.org/10.52348/2712-8873_mmtt_2021_6_113
Publikováno v:
Mathematical Methods in Technologies and Technics. :67-74
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9e778136700242f6e9db693c2b807a7
https://doi.org/10.52348/2712-8873_mmtt_2021_8_67
https://doi.org/10.52348/2712-8873_mmtt_2021_8_67
Autor:
D.Yu. Petrov
Publikováno v:
Mathematical Methods in Technologies and Technics. :60-65
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8cffaa9dbfd5a714f56764b56ddf1c3
https://doi.org/10.52348/2712-8873_mmtt_2021_5_60
https://doi.org/10.52348/2712-8873_mmtt_2021_5_60
Autor:
I. V. Chicherin, Piotr Kamenski, E.O. Samoilova, S. A. Levitskii, A.V. Kurashenko, M.V. Balaeva, D.Yu. Petrov
Publikováno v:
Bulletin of Russian State Medical University. :62-65
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f959bedbebfcfb8ac28ac7b44ffc456f
https://doi.org/10.24075/brsmu.2016-01-11
https://doi.org/10.24075/brsmu.2016-01-11
Publikováno v:
Международный журнал "Программные продукты и системы". 31:147-152
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcbbcfe5556d4f0f206f50e39c6e49bb
https://doi.org/10.15827/0236-235x.107.147-152
https://doi.org/10.15827/0236-235x.107.147-152
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.