Now showing items 1-1 of 1

    • ВЕРИФИКАФИЯ ПРОТОКОЛОВ ETHERNET 

      Зайцев, Д.А.; Zaytcev, D.A. (ОНАЗ ім. О.С. Попова, 2004)
      Выполнена верификация протоколов Ethernet, представленных сетями Петри. Использована естественная декомпозиция сети Петри на функциональные подсети, определяемая правилами построения модели. Инвариантность моделей, включающих ...