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