Артикул: p6584697

Пока этой книги нет, получите скидку 10% на любую другую книгу в наличии
По промокоду
BOOK24-0U218

Характеристики

Описание

Книга посвящена решению проблемы повышения эффективности функционирования распределенных технических систем (РТС) за счет совершенствования управления информационным обменом между объектами РТС. Модель объекта протокольного взаимодействия — протокольный автомат (ПА) представляется расширенным конечным автоматом.

Предложенная методика формирования ПА позволила разработать концептуальные основы процесса проектирования ПА, ориентированного на применение автоматических процедур реализации всех этапов проектирования от формальной спецификации до реализации в среду функционирования.