Tallenna
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.
- Alaotsikko
- Verification and Control
- Toimittaja
- Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
- ISBN
- 9783540611554
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 24.4.1996
- Sivumäärä
- 619
