Публикация №2110(БАЛЛЫ 5)

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

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

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