Публикации за год
Публикации за год
Fingerprint
Узнайте самые подробные результаты анализа активности Владимир Евгеньевич Зюбин. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.
- 1 Аналогичные профили
Сеть
Недавнее внешнее сотрудничество на уровне страны/территории. Просмотрите подробные сведения, нажав на точки или
Результат исследований
-
An ontology-based approach to support formal verification of concurrent systems
Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
-
Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems
Rozov, A. S. & Zyubin, V. E., 1 мар. 2019, В: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 198-204 7 стр.Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование
3 Цитирования (Scopus) -
Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 мар. 2019, В: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 189-197 9 стр.Результат исследования: Научные публикации в периодических изданиях › статья › рецензирование
3 Цитирования (Scopus) -
Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems
Liakh, T., Anureev, I., Rozov, A., Garanina, N. & Zyubin, V., окт. 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 466-471 6 стр. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
1 Цитирования (Scopus) -
LabVIEW-based automatic verification of process-oriented software
Liakh, T., Rozov, A. & Zyubin, V., 1 апр. 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
Виды деятельности
- 1 Организация конференции, заседания рабочей группы, ...
-
22nd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2021
Григорий Романович Хазанкин (Организатор), Александр Николаевич Савостьянов (Организатор), Вера Геннадьевна Дроздова (Организатор) & Владимир Евгеньевич Зюбин (Организатор)
30 июн. 2021 → 4 июл. 2021Деятельность: Участие в мероприятии или организация мероприятия. › Организация конференции, заседания рабочей группы, ...