ЖДТУ Бібліотека Електронний каталог
 
Визовитин Н.В., Непомнящий В.А., Стененко А.А.
Верификация UCM-спецификаций распределнных систем с использованием сетей Петри

Вид документа: Стаття періодичного видання
Автор: Визовитин Н.В., Непомнящий В.А., Стененко А.А. Авторський знак: В42 Вид автора: персона
Мова: Російська Обсяг: C.62-74
Шифр: 519.7
Аннотацiя:верификация, спецификация, распределенные системы, нотация Use Case Maps, раскрашенные сети Петри, система верификации SPIN
Є складовою частиною документа: Кибернетика и системный анализ
Карта Сайту

© Житомирський державний технологiчний університет