PDM: Petri Net Based Development Methodology for Distributed Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

сети петри

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

параллельный

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

формальный

верификация

проектирование

Стр.:

P.1567-1579.

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

Bibliogr.: p.1578-1579.

Источник:

Номер:

10

Том:

E76-A

Часть:

2

Карточка:

Б2.42.

Aoyama M..

PDM: Petri Net Based Development Methodology for Distributed Systems// IEICE Trans.-1993, №10.-Vol. E76-A.-P.1567-1579.
Bibliogr.: p.1578-1579.

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

PAP8 256