Дуравкин Е. В. Верификация протоколов информационного обмена на основе формальных грамматик / Е. В. Дуравкин, Т. В. Дуравкина, Е. Б. Коровченко // Системи упр., навігації та зв'язку. - 2011. - Вип. 2. - С. 244-247. - Библиогр.: 6 назв. - рус.
Предложен метод верификации протоколов информационного обмена на основе использования формальных грамматик. Метод позволяет устранить эффект комбинаторного взрыва при верификации протоколов информационного обмена.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"