Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Jagadeesan L. J.

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

1

Вид:

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

Год:

1998

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

проверка

параллельный

Стр.:

P.124-133.

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

Bibliogr.: p.132-133

Источник:

Software Engineering Notes

Номер:

2

Том:

23

Карточка:

Б3.54.

Godefroid P., Hanmer R. S., Jagadeesan L. J..

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch using VeriSoft// Software Engineering Notes-1998, №2.-Vol. 23.-P.124-133.
Bibliogr.: p.132-133

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

ACM5 587