An Approach to Systems Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1989

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

программа

верификация

аппаратный

формальный

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

Стр.:

P.411-428.

Реферат:

Верификация систем.

Источник:

J. Automated Reasoning

Том:

5

Карточка:

А3.14, Б2.23, Б5.54.

Bevier W., Hunt W., Moore J., Young W..

An Approach to Systems Verification// J. Automated Reasoning-1989.-Vol. 5.-P.411-428.

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

PAP1 763