Вы здесь
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Стр.:
P.927-948
Библиография:
Bibliogr.: p.946-947
Номер:
11
Том:
24
Карточка:
Б3.5, Б3.54.
Heitmeyer C., Kirby J., Labaw B., Archer M., Bharadwai R..
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications// IEEE Transactions on Software Engineering-1998, №11.-Vol. 24.-P.927-948
Bibliogr.: p.946-947
Таблица в старой библиотеке:
PAP19 22