Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings /
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Tomlin, Claire J. (Editor, http://id.loc.gov/vocabulary/relators/edt), Greenstreet, Mark R. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
| Edition: | 1st ed. 2002. |
| Series: | Lecture Notes in Computer Science,
2289 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Published: (2003) -
Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
Published: (1998) -
Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
by: Geurts, Frederic, et al.
Published: (1998) -
Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Published: (2001) -
Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Published: (2003)