Testing Temporal Logic Properties in Distributed Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Koppenhoefer S.

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

1

Вид:

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

Год:

1998

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

распределенная система

тестирование

временной

поведение

линейное время

Стр.:

P.247-262

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

Bibliogr.: p.262

Место издания:

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

Kluwer Academic Publishers

Источник:

Testing of Communicating Systems (IFIP)

Карточка:

Б3.54, Б3.44.

Dietrich F., Logean X., Koppenhoefer S., Hubaux J. -P..

Testing Temporal Logic Properties in Distributed Systems-Boston, Dordrecht.: Kluwer Academic Publishers// Testing of Communicating Systems (IFIP), 1998.-P.247-262
Bibliogr.: p.262

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

PAP29 761