Верификация UCM-спецификаций распределнных систем с использованием сетей Петри

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

Вид документа: Стаття періодичного видання
Автор: Визовитин Н.В., Непомнящий В.А., Стененко А.А. Авторський знак: В42 Вид автора: персона
Мова: Російська Обсяг: C.62-74
Шифр: 519.7

Аннотацiя:

верификация, спецификация, распределенные системы, нотация Use Case Maps, раскрашенные сети Петри, система верификации SPIN

Є складовою частиною документа: Кибернетика и системный анализ