EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: HYCON: Hybrid Control -- Taming Heterogeneity and Complexity of Networked Embedded Systems
Home Policy Brochure Browse Search User Area Contact Help

2008

Langerak, R. and Polderman, J.W. (2008) Hybrid automata. In: Handbook of Hybrid Systems Control, Theory - Tools - Applications. Cambridge University Press, Cambridge, pp. 60-65. ISBN 978-0-52176-505-3

2005

Brinksma, H. and Krilavičius, T. (2005) Behavioural Hybrid Process Calculus. Technical Report TR-CTIT-05-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625