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

Вы здесь

Автор:

Непомнящий В. А.

Бодин Е. В.

Веретнов С. О.

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

1

Вид:

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

Год:

2014

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

язык спецификаций

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

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

верификация

Стр.:

С.34-44

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

Библиогр.: c.43-44

Источник:

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

Номер:

5

Карточка:

Б3.51.

Непомнящий В. А., Бодин Е. В., Веретнов С. О..

Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем// Программирование-2014, №5.-С.34-44
Библиогр.: c.43-44

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

ISI3 335