ePrints

Modelling and analysing the interactive behaviour of an infusion pump

Lookup NU author(s): Professor Michael HarrisonORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Campos JC, Harrison MD

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fourth International Workshop on Formal Methods for Interactive Systems 2011

Year of Conference: 2011

Pages: 1-16

ISSN: 1863-2122

Publisher: European Association of Software Science and Technology (E A S S T)

URL: http://journal.ub.tu-berlin.de/eceasst/article/view/641

Series Title: Electronic Communications of the EASST

Share