Verification of Real-Time Systems by Successive Over and Under Approximation

Вы здесь

Автор:

Dill D. L.

Wong-Toi H.

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

Вид:

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

Год:

1995

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

верификация

реальное время

система

Стр.:

P.409-422.

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

Bibliogr.: p.421-422.

Источник:

Lecture Notes in Computer Science

Том:

939

Карточка:

А3.45, А2.2.

Dill D. L., Wong-Toi H..

Verification of Real-Time Systems by Successive Over and Under Approximation// Lecture Notes in Computer Science-1995.-Vol. 939.-P.409-422.
Bibliogr.: p.421-422.

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

PAP12 427