Вы здесь
Checking Subsystem Safety Properties in Compositional Reachability Analysis
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1996
Ключевые слова:
Стр.:
P.144-154.
Библиография:
Bibliogr.: p.153-154
Место издания:
Издательство:
Источник:
Карточка:
Б3.5, Б3.55.
Cheung S. C., Kramer J..
Checking Subsystem Safety Properties in Compositional Reachability Analysis-Los Alamitos.: IEEE Computer Society Press// Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996, 1996.-P.144-154.
Bibliogr.: p.153-154
Таблица в старой библиотеке:
PAP15 101