EEMCS

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

EEMCS EPrints Service


Editor: Chalmers, K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2016

Lu, Zhou and Ran, T. and Broenink, J.F. (2016) Simulation and visualization tool design for robot software. In: Communicating Process Architectures 2016: proceedings of the 38th WoTUG Technical Meeting, 21-23 Aug 2016, Copenhagen, Denmark. pp. 63-82. Open Channel Publishing Ltd.. ISBN 978-0-9934385-1-6

2014

Bezemer, M.M. and Broenink, J.F. (2014) Hardware Ports - Getting Rid of Sandboxed Modelled Software. In: Communicating Process Architectures 2014, 24-27 Aug 2014, Oxford, UK. pp. 107-118. Concurrent System Engineering Series (WoTUG-36). Open Channel Publishing Ltd.. ISBN 978-0-9565409-8-0
Broenink, J.F. (2014) Communicating process architectures - by example. In: Communicating Process Architectures 2014, 24-27 Aug 2014, Oxford, UK. pp. 233-234. Open Channel Publishing Ltd. ISBN 978-0-9565409-8-0

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
Bezemer, M.M. and Wilterdink, R.J.W. and Broenink, J.F. (2012) Design and Use of CSP Meta-Model for Embedded Control Software Development. In: Communicating Process Architectures 2012, 26-29 Aug 2012, Dundee, United Kingdom. pp. 185-199. Concurrent System Engineering Series 69 (WoTUG-34). Open Channel Publishing Ltd.. ISBN 978-0-9565409-5-9

This list was generated on Sun May 28 23:17:56 CEST 2017.