Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Визовитин Н. В.

Непомнящий В. А.

Стененко В. А.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2015

Ключевые слова:

верификация

спецификация

распределенная система

раскрашенный

сети петри

система верификации

Стр.:

С.62-74

Библиография:

Библиогр.: c.74

Источник:

Кибернетика и системный анализ

Номер:

2

Карточка:

Б2.22.

Визовитин Н. В., Непомнящий В. А., Стененко В. А..

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри// Кибернетика и системный анализ-2015, №2.-С.62-74
Библиогр.: c.74

Таблица в старой библиотеке:

PAP31 912