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

Открытые информационные и компьютерные интегрированные технологии [Текст] : сб. науч. тр. / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2004. — 160 с.

• УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних