Zobrazeno 1 - 7 of 7 pro vyhledávání: '"Zyubin, V. E."'
1
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.
2
Akademický článek
A Temporal Logic for Programmable Logic Controllers.
Autor: Garanina, N. O., Anureev, I. S., Zyubin, V. E., Staroletov, S. M., Liakh, T. V., Rozov, A. S., Gorlatch, S. P.
Publikováno v: Automatic Control & Computer Sciences; Dec2021, Vol. 55 Issue 7, p763-775, 13p
Zobrazit plný text záznamu
3
Akademický článek
Methods for Domain Specialization of Verification-Oriented Process Ontologies.
Autor: Garanina, N. O., Anureev, I. S., Borovikova, O. I., Zyubin, V. E.
Publikováno v: Automatic Control & Computer Sciences; 2020, Vol. 54 Issue 7, p740-751, 12p
Zobrazit plný text záznamu
4
Akademický článek
Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems.
Autor: Rozov, A. S., Zyubin, V. E.
Publikováno v: Optoelectronics Instrumentation & Data Processing; Mar2019, Vol. 55 Issue 2, p198-204, 7p
Zobrazit plný text záznamu
5
Akademický článek
Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators.
Autor: Lyakh, T. V., Zyubin, V. E., Garanina, N. O.
Publikováno v: Optoelectronics Instrumentation & Data Processing; Mar2019, Vol. 55 Issue 2, p189-197, 9p
Zobrazit plný text záznamu
6
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje