Applying Formal Methods for Human Error Tolerant Design | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

интерактивный

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

человеческий фактор

Стр.:

P.185-195.

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

Bibliogr.: p.194-195.

Источник:

Lecture Notes in Computer Science

Том:

896

Карточка:

В4.54, Б5.54.

Fields B., Wright P., Harrison M..

Applying Formal Methods for Human Error Tolerant Design// Lecture Notes in Computer Science-1995.-Vol. 896.-P.185-195.
Bibliogr.: p.194-195.

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

PAP11 326