Зазначено, що за останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного тестування програмних і технічних систем, зокрема телекомунікаційних протоколів. Запропоновано автоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальну модель системи побудовано у вигляді ординарної мережі Петрі. Аналіз системи виконано за допомогою методів лінійної алгебри.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"