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

Вы здесь

Автор:

Девянин П. Н.

Кулямин В. В.

Петренко А. К.

Хорошилов А. В.

Щепетков И. В.

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

1

Вид:

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

Год:

2016

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

декомпозиция

верификация

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

Стр.:

С.17-26

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

Библиогр.: c.25-26

Источник:

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

Номер:

4

Карточка:

Б3.44.

Девянин П. Н., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В..

Сравнение способов декомпозиции спецификаций на Event-B// Программирование-2016, №4.-С.17-26
Библиогр.: c.25-26

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

PAP31 982