Схожие документы

• Язык формального описания протоколов и сервисов: (Базовые средства языка) / Я. Я. Калниньш, А. Н. Гузовская, П. Я. Крастиньш и др. - Рига : Ин-т электроники и вычисл. техники, 1987. - 64 с. - (АН ЛатвССР, Ин-т электроники и вычисл. техники ; ИЭВТ-Р31)
  Опубликовано: (1987)
• Методы формального описания, верификации и реализации сетевых протоколов с использованием теории сетей Петри. - Владивосток, 1984. - 40 с. - (Препринт ; № 9 (118))
  Автор: Анисимов, Н. А.
  Опубликовано: (1984)
• Средства формального описания сервиса и протоколов сетей ЭВМ с использованием сетей Петри. - Владивосток, 1983. - 31 с. - (Препринт ; № 16 (103))
  Автор: Анисимов, Н. А.
  Опубликовано: (1983)