Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

формальный

верификация

микропроцессор

критический

Стр.:

P.153-188.

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

Bibliogr.: p.186-188

Источник:

Formal Methods in System Design

Номер:

2

Том:

8

Карточка:

А3.14, В3.3.

Srivas M. K., Miller S. P..

Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods// Formal Methods in System Design-1996, №2.-Vol. 8.-P.153-188.
Bibliogr.: p.186-188

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

PAP15 155