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…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
