Вісник № 46

Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/16634

Переглянути

Або введіть перші символи:
Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Формальное описание функционирования протоколов передачи данных
    (НТУ "ХПИ", 2005) Старусев, О. Г.
    У статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу ABP із допомогою ряду автоматних формальних методів та наведено ряд міркувань з верифікації мережевих протоколів.