О книге
В работе предлагается итерационный процесс разработки протоколов информационного обмена, состоящий из трех этапов: визуального моделирования протокола, анализа математической модели протокола и практического анализа протокола в исследовательской среде информационного обмена. Рассматриваются разработанный анализатор протоколов «ЯНУС», реализующий метод расширенного SPI-исчисления, и сетевой программный комплекс «ИКАМ» для практического анализа.
Характеристики
Издательство:
-
Год издания:
-
ISBN:
-
0 
