Improving Design Dependability by Exploiting an Open Model-Based Specification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

тестирование

надежность

формальный

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

Стр.:

P.24-37.

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

Bibliogr.: p.36-37

Издательство:

Источник:

IEEE Trans. on Computers

Номер:

1

Том:

48

Карточка:

Б3.54.

Tomita A. W., Sakamura K..

Improving Design Dependability by Exploiting an Open Model-Based Specification: Springer// IEEE Trans. on Computers-1999, №1.-Vol. 48.-P.24-37.
Bibliogr.: p.36-37

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

PAP19 231