By David Sharp (auth.), Claire J. Tomlin, Mark R. Greenstreet (eds.)
This ebook constitutes the refereed court cases of the fifth foreign Workshop on Hybrid structures: Computation and keep watch over, HSCC 2002, held in Stanford, California, united states, in March 2002.
The 33 revised complete papers provided have been conscientiously reviewed and chosen from seventy three submissions. All present matters in hybrid platforms are addressed together with formal types and techniques and computational representations, algorithms and heuristics, computational instruments, and cutting edge applications.