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

Вы здесь

Автор:

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

Быстров А. В.

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

1

Вид:

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

Год:

1998

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

распределенная система

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

временной

сети петри

верификация

валидация

Стр.:

С.236-240.

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

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

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

Новосибирск

Источник:

Труды Шестого Международного семинара "Распределенная обработка информации"

Карточка:

Б2.22, Б2.42.

Вирбицкайте И. Б., Быстров А. В..

Автоматический анализ и верификация распределенных систем реального времени-Новосибирск.// Труды Шестого Международного семинара "Распределенная обработка информации", 1998.-С.236-240.
Библиогр.: c.240

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

ISI2 176