Крывый С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций / С. Л. Крывый, А. В. Чугаенко // Кибернетика и систем. анализ. - 2009. - 45, № 4. - С. 31-48. - Библиогр.: 13 назв. - рус.Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що одержана таким чином, може використовуватися для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC. Індекс рубрикатора НБУВ: З972-01
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ Повний текст Наукова періодика України
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|