Просмотр собрания по группе - Авторы 17a296e5-4938-4495-bec0-1610e76e1738
Результаты 1 по 3 из 3
| Дата выпуска | Название | Автор(ы) |
| 7-Окт-2019 | Behavioral Verefication of Internet of Things Systems by Petri Nets | Martynyuk, Oleksandr; Мартинюк, Олександр Миколайович; Мартынюк, Александр Николаевич; Drozd, Oleksandr; Дрозд, Олександр Валентинович; Дрозд, Александр Валентинович; Nesterenko, Sergey; Нестеренко, Сергій Анатольевич; Нестеренко, Cергей Анатольевич; Tamem Ahmesh; Тамем Ахмеш |
| 2020 | Development of checkability in FPGA components of safety-related systems | Drozd, Oleksandr; Дрозд, Олександр Валентинович; Zashcholkin, Kostiantyn; Защолкін, Костянтин Вячеславович; Martynyuk, Oleksandr; Мартинюк, Олександр Миколайович; Ivanova, Olena; Іванова, Олена Миколаївна; Drozd, Julia; Дрозд, Юлія Володимирівна |
| 2020 | A method of developing a checkable self-recovery floating-point pipeline system | Drozd, Oleksandr; Дрозд, Олександр Валентинович; Kovalоv, Igor; Ковальов, Ігор Станіславович; Martynyuk, Oleksandr; Мартинюк, Олександр Миколайович; Zashcholkin, Kostiantyn; Защолкін, Костянтин Вячеславович; Drozd, Julia; Дрозд, Юлія Володимирівна |
