Публикация №9236

Название публикацииИНТЕГРАЦИЯ СРЕДСТВ СПЕЦИФИКАЦИИ ИТ-СЕРВИСОВ
Название на другом языке
Тип публикацииСтатья
ИзданиеСистемы управления и информационные технологии
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2012
Том50
Номер4
ГлаваНе задан
Страницы62-67
АннотацияНе задан
АвторыЛогинов И.В.
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(2011) ЯЗЫК CELL - ИНСТРУМЕНТ ДЛЯ СИНТЕЗА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МНОГОУРОВНЕВОГО ТЕЛЕКОММУНИКАЦИОННОГО ПРОТОКОЛА ПО ЧАСТИЧНО ФОРМАЛИЗОВАННЫМ СПЕЦИФИКАЦИЯМ