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

Вы здесь

Автор:

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

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

Быстров А. В.

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

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

Чубарев П. А.

Чурина Т. Г.

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

1

Вид:

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

Год:

2001

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

верификация

протокол

сети петри

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

Стр.:

С.5-20

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

Библиогр.: c.19-20

Источник:

Программирование

Номер:

2

Карточка:

Б2.22, Б2.42.

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

Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня// Программирование-2001, №2.-С.5-20
Библиогр.: c.19-20

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

PAP23 234