Formally Verifying Fault Tolerant System Designs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Bernardeschi C.

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

1

Вид:

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

Год:

2000

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

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

верификация

проектирование

Стр.:

P.191-205

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

Bibliogr.: p.204-205

Источник:

The Computer Journal

Номер:

3

Том:

43

Карточка:

Б2.1, Б3.33, Б2.2.

Bernardeschi C., Fantechi A., Simoncini L..

Formally Verifying Fault Tolerant System Designs// The Computer Journal-2000, №3.-Vol. 43.-P.191-205
Bibliogr.: p.204-205

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

PAP21 770