Евгений Дуравкин » Публикация
Поделиться публикацией:
Опубликовано
2011-04-12
Опубликовано на SciPeople2011-09-12 13:35:53
ЖурналПроблеми телекомунікацій.
Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей
Аннотация
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».
http://pt.journal.kh.ua/2011/1/1/111_duravkin_verification.pdf
Показать статистику Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
Этот комментарий был удален
