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

Вы здесь

Автор:

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

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

Быстров А. В.

Куртов С. А.

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

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

Чубарев П. А.

Чурина Т. Г.

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

1

Колл. автор:

ИСИ СО РАН

Вид:

Монография

Год:

1998

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

протокол

сети петри

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

коммуникационный

верификация

Стр.:

140 с.

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

Библиогр.: c.136-137

Редактор:

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

Шилов Н. В.

Место издания:

Новосибирск

Карточка:

Б2.42, Б2.23.

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

Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри/ИСИ СО РАН. Ред. Непомнящий В. А., Шилов Н. В..-Новосибирск., 1998.-140 с.
Библиогр.: c.136-137

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

MONO2 680