Completeness and Consistency in Hierarchical State-Based Requirements | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Heimdahl M.P. E.

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

1

Вид:

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

Год:

1996

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

статический

реактивный

формальный

семантика

требование

Стр.:

P.363-377

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

Bibliogr.: p.376

Источник:

IEEE Transactions on Software Engineering

Номер:

6

Том:

22

Карточка:

Б3.5, Б3.3.

Heimdahl M.P. E., Leveson N. G..

Completeness and Consistency in Hierarchical State-Based Requirements// IEEE Transactions on Software Engineering-1996, №6.-Vol. 22.-P.363-377
Bibliogr.: p.376

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

PAP15 357