Найдено научных статей и публикаций: 21, для научной тематики: Верификация
21.
Е.В. Дуравкин, Е.Б.Коровченко
- Проблеми телекомунікацій. , 2011
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва»....
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».