Зведений каталог бібліотек Харкова
Непомнящий, В. А. Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью сетей Петри высокого уровня [Текст] / Институт систем информатики им.А.П.Ершова СО РАН, г.Новосибирск, Россия // Программирование. — 2008. — С. 35-49.
Автор: Непомнящий В.А., Аргиров В.С., Белоглазов Д.М., Быстров А.В., Четвертаков Е.А., Чурина Т.Г.
- Анотація:
Описан метод трансляции языка SDL в ИВТ-сети. Представлен программный комплекс SPV (SDL Protocol Verifer), который включает транслятор из SDL в ИВТ-сети, а также средства для редактирования, симуляции, визуализации и верификации этих сетевых моделей.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2008.
- Теми документа
