Spara
Hybrid Systems III
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 interact with analog environments.
A hybrid system consists of digital devices that interact with analog environments.
- Undertitel
- Verification and Control
- Redaktör
- Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
- ISBN
- 9783540611554
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1996-04-24
- Sidor
- 619
