A layered behavioural model of platelets

A layered behavioural model of platelets
复制标题

血小板的分层行为模型

DOI：
--
复制
发表时间：
2006
期刊：
IEEE International Conference on Engineering of Complex Computer Systems
影响因子：
--
通讯作者：
J. Woodcock
J. Woodcock
中科院分区：
--
文献类型：
--
作者：
Steve A. Schneider;H. Treharne;Ana Cavalcanti;J. Woodcock

文献摘要

被引文献

相似文献

人们对纳米技术在医学上的应用有很大的兴趣，但对安全性的关注是最重要的。我们提出了一个建模技术的基础上CSP和B作为一个出发点，模拟网络的纳米机器人。该模型和模拟的核心特点，我们提出的方法来构建安全的情况下，纳米医学应用，和复杂的网络合作组件一般。我们的工作是基于一个案例研究：（人工）血小板的凝血行为。我们提出了一个模型，并讨论其分析和使用
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