Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
При низкой оригинальности работы "Логічний аналіз протоколів мереж ЕОМ на основі моделі взаємодіючих автоматів", Вы можете повысить уникальность этой работы до 80-100%