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

Название публикацииЯЗЫК CELL - ИНСТРУМЕНТ ДЛЯ СИНТЕЗА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ МНОГОУРОВНЕВОГО ТЕЛЕКОММУНИКАЦИОННОГО ПРОТОКОЛА ПО ЧАСТИЧНО ФОРМАЛИЗОВАННЫМ СПЕЦИФИКАЦИЯМ
Название на другом языке
Тип публикацииСтатья
ИзданиеВестник ВГТУ
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2011
Том7
Номер3
ГлаваНе задан
Страницы120-125
АннотацияНе задан
Авторы(ИПИ РАН) Бондаренко Т.В.
Волович Константин Иосифович
Кондрашев Вадим Адольфович
ссылка в Internethttp://elibrary.ru/item.asp?id=16356599
РИНЦ4
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(2006) АСПЕКТЫ АВТОМАТИЗАЦИИ ПРОГРАММИРОВАНИЯ ПРОТОКОЛЬНЫХ АВТОМАТОВ ДЛЯ ТЕЛЕКОММУНИКАЦИОННОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ВСТРАИВАЕМЫХ СИСТЕМ

(2009) ИЕРАРХИЧЕСКИЕ ДИАГРАММЫ СОСТОЯНИЙ И ПЕРЕХОДОВ В СИНТЕЗЕ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛЬНЫХ АВТОМАТОВ / HIERARCHICAL STATE TRANSITION CHARTS IN SYNTHESIS OF TELECOMMUNICATION STATE MACHINES