University of Surrey

Test tubes in the lab Research in the ATI Dance Research

A layered behavioural model of platelets

Schneider, S, Cavalcanti, A, Treharne, H and Woodcock, J (2006) A layered behavioural model of platelets In: 11th IEEE International Conference on Engineering of Complex Computer Systems, 2006-08-15 - 2006-08-17, Stanford, CA.

iceccs.pdf - Accepted version Manuscript
Available under License : See the attached licence file.

Download (124kB)
[img] Text (licence)

Download (1kB)


There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting point for simulation of networks of nano-robots. The model and the simulations are central features of our proposed approach to the construction of safety cases for nanomedicine applications, and complex networks of cooperating components in general. Our work is based on a case study: the clotting behaviour of (artificial) platelets. We present a model, and discuss its analysis and uses

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Schneider, S
Cavalcanti, A
Treharne, H
Woodcock, J
Date : 18 September 2006
DOI : 10.1109/ICECCS.2006.1690359
Contributors :
ContributionNameEmailORCID, S COMPUTER SOC,
Depositing User : Symplectic Elements
Date Deposited : 29 Sep 2011 10:50
Last Modified : 31 Oct 2017 14:09

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800