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

Вы здесь

Автор:

Алексеев А. Г.

Быстровв А. В.

Куртов С. А.

Мыльников С. П.

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

Окунишникова Е. В.

Чубарев П. А.

Чурина Т. Г.

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

1

Вид:

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

Год:

1999

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

сети петри

верификация

распределенный

Стр.:

С.105-116.

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

Библиогр.: c.115-116

Источник:

Известия Академии наук. Теория и системы управления

Номер:

5

Карточка:

Б2.22, Б2.42.

Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г..

Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle// Известия Академии наук. Теория и системы управления-1999, №5.-С.105-116.
Библиогр.: c.115-116

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

ISI2 298