Использование техники частичных порядков для верификации временных сетей Петри | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Вирбицкайте И. Б.

Покозий Е. А.

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

1

Вид:

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

Год:

1999

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

частичный

верификация

временной

сети петри

реальное время

Стр.:

С.28-40.

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

Библиогр.: c.40

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

Источник:

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

Номер:

1

Карточка:

Б2.42, Б3.54.

Вирбицкайте И. Б., Покозий Е. А..

Использование техники частичных порядков для верификации временных сетей Петри: Springer// Программирование-1999, №1.-С.28-40.
Библиогр.: c.40

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

PAP19 393