Safety Verification of Ada Programs Using Software Fault Trees

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.48-59.

Реферат:

Проверка надежности Ада-программ используя программное дерево неисправностей.

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

Bibliogr.: p.59.

Источник:

Карточка:

Б3.54.

Leveson N., Cha S., Shimeall T..

Safety Verification of Ada Programs Using Software Fault Trees// IEEE Software, July-1991.-P.48-59.
Bibliogr.: p.59.

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

PAP3 37