1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 2(109)'2013
  5. Формальное представление вероятностно-временных графов анализа протоколов компьютерных сетей с помощью семантико-числовой спецификации

Формальное представление вероятностно-временных графов анализа протоколов компьютерных сетей с помощью семантико-числовой спецификации

С. И. Шматков
Системи обробки інформації. — 2013. — № 2(109). — С. 239-241.
Тематика статті: Інфокомунікаційні системи
УДК 4.75
Мова статті: російська
Анотації на мовах:

В статье рассмотрена задача формализации процесса анализа протоколов компьютерных сетей, представленных в виде вероятностно-временных графов. В качестве средств формального представления предложено использовать аппарат структур семантико-числовой спецификации. Показано, что использование разработанных предложений создает предпосылки к существенному сокращению вычислительной сложности процедуры анализа протоколов компьютерных сетей.
Ключові слова: протоколы компьютерных сетей, вероятностно-временные графы, семантико- числовая спецификация
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Шматков С. И. Формальное представление вероятностно-временных графов анализа протоколов компьютерных сетей с помощью семантико-числовой спецификации / С. И. Шматков  // Системи обробки інформації. — 2013. — № 2. — С. 239-241.