Using PVS for an Assertional Verification of the RPC-Memory Specification Problem

Вы здесь

Автор:

Hooman J.

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

Вид:

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

Год:

1996

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

верификация

память

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

Стр.:

P.275-304.

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

Bibliogr.: p.304

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1169

Карточка:

А3.54, Б3.5, Б2.2.

Hooman J..

Using PVS for an Assertional Verification of the RPC-Memory Specification Problem: Springer// Lecture Notes in Computer Science-1996.-Vol. 1169.-P.275-304.
Bibliogr.: p.304

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

PAP15 931