Sciweavers

2 search results - page 1 / 1
» Coloured Petri Nets in Development of a Pervasive Health Car...
Sort
View
FORTE
2004
13 years 6 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...