| |
Дуравкин, Е. В.
Использование формальных грамматик для верификации алгоритмов управления [Текст] / Е. В. Дуравкин, Е. Б. Коровченко
// Радиотехника. – 2010. – № 163. – С. 61-65.
Проведен анализ существующих методов верификации, а также приведена оценка их эффективности при проведении верификации протоколов управления распределенными системами. |
