Зведений каталог бібліотек Тернополя
Варосян, А. С. Алгоритм формальной верификации шаблонов бизнес-процессов [Текст] / А.С. Варосян // Кибернетика и системный анализ. — К. : Институт кибернетики им. В.М. Глушкова НАН Украины, 2011. — март-апрель (№2). — С. 62-76.
- Ключові слова:
- Є складовою частиною документів:
- Теми документа