Semantic Extraction for the Automatic Verification of VHDL Descriptions | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

аксиоматизация

автоматический

верификация

язык описания

аппаратный

средства

Стр.:

21 p.

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

Bibliogr.: p.13-15.

Место издания:

Номер:

MIP-9411

Карточка:

В3.3, Б2.1.

Margaria T., Griva M., Tesio R..

Semantic Extraction for the Automatic Verification of VHDL Descriptions-Passau., 1994.-21 p.-(Препринт Univ.Passau №MIP-9411).
Bibliogr.: p.13-15.

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

PREP2 91