Елена Коровченко » Публикация
Поделиться публикацией:
Опубликовано
2011-03-12
Опубликовано на SciPeople2011-09-12 14:41:09
ЖурналПроблеми телекомунікацій.
Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей
Ключевые слова: верификация спецификация Е-сеть формальная грамматика модель системы протокол.
Аннотация
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».
Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
Этот комментарий был удален