Мартынюк, Александр Николаевич; Сугак, Анна Сергеевна; Хабиб, Альшикх; Martynyuk, Oleksandr; Sugak, Hanna; Habib, Alshikh; Мартинюк, Олександр Миколайович; Сугак, Ганна Сергіївна; Хабіб, Альшикх
(Odessa National Polytechnic University, 2016-05)
Введена объединенная модель тестовой и вирусной эволюций, представляющая условия син-теза поведенческого теста расширенной управляемости для проверяемых автоматных моделей компонентов распределенной информационной системы ...