Матвеева Л. Е. Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри / Л. Е. Матвеева // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 108-117. - Библиогр.: 19 назв. - рус.Зазначено, що за останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідного тестування програмних і технічних систем, зокрема телекомунікаційних протоколів. Запропоновано автоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальну модель системи побудовано у вигляді ординарної мережі Петрі. Аналіз системи виконано за допомогою методів лінійної алгебри. Індекс рубрикатора НБУВ: З973-018.2 + З810.21
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|