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

Fatal error: Uncaught Error: Call to a member function fetch_row() on false in /home/user/web/тумба.онлайн/private/versions/ver_5/pages/books_single.php:285 Stack trace: #0 /home/user/web/тумба.онлайн/private/versions/ver_5.php(577): include() #1 /home/user/web/тумба.онлайн/public_html/index.php(200): include('...') #2 {main} thrown in /home/user/web/тумба.онлайн/private/versions/ver_5/pages/books_single.php on line 285