Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

2010

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

constraint solving

логистика

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

время выполнения

верификация

темпоральный

временной автомат

временная система

сети петри

алгебра процессов

Стр.:

257 p.

Редактор:

Henzinger T. A.

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

6246

Карточка:

А3.45, Б2.2.

Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010Ed. by Chatterjee K., Henzinger T. A..-Berlin.: Springer, 2010.-Vol. 6246.-257 p.-(Lecture Notes in Computer Science).

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

MONO8 470