Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling and analysing the interactive behaviour of an infusion pump

Lookup NU author(s): Professor Michael HarrisonORCiD


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)


Series Title: Electronic Communications of the EASST