Verification of Clocked and Hybrid Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2000

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

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

гибридный

верификация

Стр.:

P.837-912.

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

Bibliogr.: p.910-912

Источник:

Acta Informatica

Номер:

11

Том:

36

Карточка:

А3.45, Б2.4, Б2.2.

Kester Y., Manna Z., Pnueli A..

Verification of Clocked and Hybrid Systems// Acta Informatica-2000, №11.-Vol. 36.-P.837-912.
Bibliogr.: p.910-912

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

PAP21 490