Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2002

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

формальный

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

сети петри

проверка

Стр.:

P.240-254

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

Bibliogr.: p.254

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

Источник:

Lecture Notes in Computer Science

Том:

2319

Карточка:

Б2.42, Б3.5.

Gorgonio K. C., Perkusich A..

Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse: Springer// Lecture Notes in Computer Science-2002.-Vol. 2319.-P.240-254
Bibliogr.: p.254

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

PAP24 880