EEMCS

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

EEMCS EPrints Service


Editor: McEwan, A.A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

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

2008

Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3

This list was generated on Mon May 29 03:26:00 CEST 2017.