Реалізація мережевих протоколів як незалежних процесів

Скорочена інформація про документ
dc.contributor.authorОрлова, М. М.
dc.contributor.authorШандиба, Д. В.
dc.date.accessioned2013-11-21T10:51:49Z
dc.date.available2013-11-21T10:51:49Z
dc.date.issued2009
dc.description.abstractenThe article reviews the approach to network protocols implementation as independent processes. Usage of the proposed method allows implementation of each network protocol in the stack completely independently from other protocols, that significantly simplifies the task of formal methods application for protocols synthesis. As a result of the research there was proposed and practically tried out a methodology of formal specification of generalized models of network protocols behavior, as well as of external mechanism of their interaction.uk
dc.description.abstractruВ статье рассматривается подход к реализации сетевых протоколов как независимых процессов. Использование предлагаемого метода позволяет реализовывать логику каждого сетевого протокола в стеке полностью независимо от других протоколов, что значительно облегчает применение формальных методов для решения задачи синтеза протоколов. В результате исследования сформулирована и опробована методика формального описания обобщенных моделей поведения сетевых протоколов, а также внешних механизмов их взаимодействия.uk
dc.format.pagerangeС. 111-117uk
dc.identifier.citationОрлова М. М. Реалізація мережевих протоколів як незалежних процесів / М. М. Орлова, Д. В. Шандиба // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2009. – № 51. – С. 111–117. – Бібліогр.: 11 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/5956
dc.language.isoukuk
dc.publisherВек+uk
dc.publisher.placeКиївuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна технікаuk
dc.status.pubpublisheduk
dc.subject.udc004.71uk
dc.titleРеалізація мережевих протоколів як незалежних процесівuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
51_19.pdf
Розмір:
348.82 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, № 51