A Unified Algebraic Framework for Specifying Communication Protocols | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2000

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

формальный

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

протокол

алгебраический

сети петри

Стр.:

P.57-65

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

Bibliogr.: p.64-65

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

Издательство:

IEEE Computer Society

Источник:

Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000

Карточка:

Б2.42, Б2.15, А3.53.

Jmaiel M..

A Unified Algebraic Framework for Specifying Communication Protocols-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.57-65
Bibliogr.: p.64-65

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

PAP22 378