Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня [Текст] / В. А. Непомнящий [и др. ] // Программирование. - 2008. - N 6. - С. 35-49. . - Библиогр.: с. 48-49 (23 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): моделирование коммуникационных протоколов -- сети Петри -- Петри сети -- программные комплексы -- языки программирования Аннотация: Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV. Доп.точки доступа: Непомнящий, В. А.; Аргиров, В. С.; Белоглазов, Д. М.; Быстров, А. В.; Четвертаков, Е. А.; Чурина, Т. Г. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |