EEMCS

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

EEMCS EPrints Service


Research Project: MDDES: Model-driven design of dependable software intensive embedded systems
Home Policy Brochure Browse Search User Area Contact Help

2012

Oguz, O. and Broenink, J.F. and Mader, A.H. (2012) Schedulability analysis of timed CSP models using the PAT model checker. In: Communicating Process Architectures 2012, 26-29 Aug 2012, Dundee, Scotland. pp. 65-88. Open Channel Publishing Ltd. ISBN 978-0-9565409-5-9