Зведений каталог бібліотек Харкова
Крывый, С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций [Текст] / Институт кибернетики им. В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2009. — №4. — С. 31-48.
- Анотація:
Описано реалізацію алгоритмупереведення набору діаграм MSC в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазаначеного алгоритму. Мережа може бути використана для аналізу властивостей вихідного документа MSC.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2009. — №4.
- Теми документа
