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

Вы здесь

Автор:

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

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

Быстров А. В.

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

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

Чубарев П. А.

Чурина Т. Г.

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

1

Вид:

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

Год:

2000

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

верификация

язык спецификаций

Стр.:

С.123

Источник:

Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II

Карточка:

Б3.54.

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

Верификация коммуникационных протоколов, представленных на языках Estelle и SDL// Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II-2000.-С.123

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

PAP21 528