Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

гибридный

формальный

моделирование

Стр.:

P.212-232.

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

Bibliogr.: p.231-232

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

Источник:

Lecture Notes in Computer Science

Том:

1708

Карточка:

А3.45, Б3.5, Б2.1.

Alur R., Esposito J., Kim M., Kumar V., Lee I..

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination: Springer// Lecture Notes in Computer Science-1999.-Vol. 1708.-P.212-232.
Bibliogr.: p.231-232

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

PAP20 370