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

Вы здесь

Автор:

Шелехов В. И.

Тумуров Э. Г.

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

1

Вид:

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

Год:

2011

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

формальный метод

верификация программ

формальная спецификация

гиперграф

Стр.:

С.281-286

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

Библиогр.: c.285-286

Источник:

PSI 11, Труды НПО

Карточка:

Б2.23.

Шелехов В. И., Тумуров Э. Г..

Спецификация реактивных систем в виде гиперграфовой композиции// PSI 11, Труды НПО-2011.-С.281-286
Библиогр.: c.285-286

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

PAP31 642