Вісник № 32
Постійне посилання зібрання
Переглянути
Перегляд Вісник № 32 за Автор "Иссам Саад"
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
Документ Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей(НТУ "ХПИ", 2015) Ткачева, Е. Б.; Иссам Саад; Мохаммед Джамал СалимВ статье предложены формализмы, позволяющие описывать набор основных свойств программно-конфигурируемых сетей. В рамках задачи анализа и верификации предложен метод, который базируется на модельном подходе и анализе последовательности смены состояний элементов модели сети. В качестве аппарата моделирования предложено использовать аппарат Е-сетей. Проводится анализ таких свойств модели, как достижимость, ограниченность, живость.