Библиографическое описание:Антипов, Владимир Анатольевич. Построение телемедицинской системы на основе коммуникационной парадигмы Публикация/Подписка / В. А. Антипов, О. В. Антипов, А. П. Чехов. - Текст : непосредственный // Биомедицинская радиоэлектроника. - 2012. - № 7. - С. 64-70 : 3 рис., 1 табл. - Библиогр.: с. 69 (10 назв.). - Реф. на англ. яз.
Аннотация:Рассмотрена концепция построения телемедицинской системы как распределенной гетерогенной системы на основе коммуникационной парадигмы Публикация/Подписка. Описана формальная спецификация системы Публикация/Подписка, основанная на синтаксисе линейной временной логики, что дает возможность для более детального и глубокого понимания систем указанного типа и для доказательства правильности их работы.
Ключевые слова:телемедицинские системы, передача данных, коммуникационные парадигмы, распределенные гетерогенные системы, формальная спецификация, линейная временная логика, телекоммуникации, телемедицинские сети, аппаратное обеспечение, интерфейс, лечебно-профилактические учреждения, лпу
Рубрики:Здравоохранение. Медицинские науки, Здравоохранение и медицинские науки в целом, Вычислительная техника, Прикладные информационные (компьютерные) технологии в целом
