An Application of Formal Analysis to Software in a Fault-Tolerant Environment | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

формальный

методология

моделирование

программное обеспечение

отказоустойчивость

Стр.:

P.1053-1064.

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

Bibliogr.: p.1063

Источник:

IEEE Trans. on Computers

Номер:

10

Том:

48

Карточка:

Б3.55.

Chisholm G. H., Wojcik A. S..

An Application of Formal Analysis to Software in a Fault-Tolerant Environment// IEEE Trans. on Computers-1999, №10.-Vol. 48.-P.1053-1064.
Bibliogr.: p.1063

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

PAP20 892