Поиск
На сайте: 566443 статей, 285463 фото.

Hybrid Systems III: Verification and Control (книга)

Hybrid Systems III: Verification and Control
Автор: Rajeev Alur
Thomas A. Henzinger
Eduardo D. Sontag
Оригинал издан: ????

«Hybrid Systems III: Verification and Control»книга ???? года.

Содержание

Содержание

От издателя

«This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that…»

Рецензии

См. также

Ссылки