Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Courcoubetis C.

Henzinger T. A.

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

1

Вид:

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

Год:

1993

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

гибридный

спецификация

верификация

Стр.:

P.209-229.

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

Bibliogr.: p.229.

Источник:

Lecture Notes in Computer Science

Том:

736

Карточка:

А3.45, Б2.4.

Alur R., Courcoubetis C., Henzinger T. A., Ho P. -H..

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems// Lecture Notes in Computer Science-1993.-Vol. 736.-P.209-229.
Bibliogr.: p.229.

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

PAP7 390