Просмотр собрания по группе - Авторы 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; Тамем Ахмеш |
Июн-2015 | Мультиагентная система поведенческого диагностирования распределенной информационной системы | Сугак, Анна Сергеевна; Мартынюк, Александр Николаевич; Sugak, Ganna; Martynyuk, Oleksandr; Сугак, Г. С.; Мартинюк, О. М.; Сугак, Ганна Сергіївна; Мартинюк, Олександр Миколайович |
Мар-2015 | Построение поведенческих тестов для недетерминированной временной автоматной модели | Сугак, Анна Сергеевна; Мартынюк, Александр Николаевич; Martynyuk, Oleksandr; Sugak, Hanna; Мартинюк, О. М.; Сугак, Ганна Сергіївна; Мартинюк, Олександр Миколайович |