Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2009

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

аппроксимация

теория автоматов

логика реального времени

верификация

стохастический

сложность

синхронизированная система

Стр.:

291 p.

Редактор:

Vaandrager F. W.

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

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

Серия:

Lecture Notes in Computer Science

Том:

5813

Карточка:

Б2.3, Б2.4.

Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009Ed. by Ouaknine J., Vaandrager F. W..-Berlin.: Springer, 2009.-Vol. 5813.-291 p.-(Lecture Notes in Computer Science).

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

MONO7 837