Filter-Based Model Checking of Partial Systems

Вы здесь

Автор:

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

Вид:

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

Год:

1998

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

Стр.:

P.189-202.

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

Bibliogr.: p.201-202

Источник:

Номер:

Том:

Карточка:

Б3.54.

Dwyer M. B., Pasareanu C. S..

Filter-Based Model Checking of Partial Systems// Software Engineering Notes-1998, №6.-Vol. 23.-P.189-202.
Bibliogr.: p.201-202

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

ACM5 852