Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Визовитин Н. В., Непомнящий В. А., Стененко А. А.
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  C. 62-74 
УДК:  519.172 

Є складовою частиною документа Кибернетика и системный анализ [Текст] : междунар. науч.-теорет. журн. Т. 51. № 2 / НАН Украины, Ин-т кибернетики им. В. М. Глушкова. — К, 2015.

Теми документа

• УДК/5 Математика та природничi науки/51 Математика/519.1 Комбiнаторний аналiз. Теорiя графiв/519.17 Теорія графів