Буров, Є.2020-10-192020-10-192005-03-012005-03-01Буров Є. Система формальних специфікацій моделювання подій для САПР РІС / Є. Буров // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2000. — № 413 : Комп’ютерна інженерія та інформаційні технології. — С. 47–51. — (Моделювання процесів і систем).https://ena.lpnu.ua/handle/ntb/54770Запропоновано систему формальних специфікацій, яку може бути використано в САПР РІС для роз’язання задач аналізу продуктивності та перепускної здатності.Application productîvity parameters such as delay, troughput e.tc are gaining in importance nowdays with multimedia communications steady growth. This paper propose formai spécifications designed ta support several productivity analysis tasks in a CASE tool.47-51ukArticle© Національний університет “Львівська політехніка”, 2000© Євген Буров5681.518681.327.8Burov Ye. Systema formalnykh spetsyfikatsii modeliuvannia podii dlia SAPR RIS / Ye. Burov // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2000. — No 413 : Kompiuterna inzheneriia ta informatsiini tekhnolohii. — P. 47–51. — (Modeliuvannia protsesiv i system).