Checking Safety Properties Using Compositional Reachability Analysis | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

верификация

качество

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

провайдер

статический

Стр.:

P.49-78.

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

Библиогр.: c.75-78

Источник:

ACM Trans. on Software Engineering and Methodology

Номер:

1

Том:

8

Карточка:

Б3.54, Б3.55.

Cheung S. C., Kramer J..

Checking Safety Properties Using Compositional Reachability Analysis// ACM Trans. on Software Engineering and Methodology-1999, №1.-Vol. 8.-P.49-78.
Библиогр.: c.75-78

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

ACM5 945