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