Assume-Guarantee Algorithms for Automatic Detection of Software Failures | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2002

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

автоматический

обнаружение

надежность

Стр.:

P.89-108

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

Bibliogr.: p.107-108

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

2335

Карточка:

Б2.23, Б3.54.

Zulkernine M., Seviora R. E..

Assume-Guarantee Algorithms for Automatic Detection of Software Failures: Springer// Lecture Notes in Computer Science-2002.-Vol. 2335.-P.89-108
Bibliogr.: p.107-108

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

PAP25 116