Вы здесь

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.59-75
Библиография: 
Bibliogr.: p.73-75
Место издания: 
Издательство: 
Том: 
989
Карточка: 

Б3.33, Б3.5.

Tuya J., Sanchez L., Corrales J. A..

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models-Berlin, Heidelberg.: Springer// Software Engineering - ESEC 95, 1995.-Vol. 989.-P.59-75-(Lecture Notes in Computer Science).
Bibliogr.: p.73-75

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