Toggle Main Menu Toggle Search

Open Access padlockePrints

Exploring an option space to engineer a ubiquitous computing system

Lookup NU author(s): Professor Michael HarrisonORCiD, Professor Christian Kray


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

Publication metadata

Author(s): Harrison M, Kray C, Campos JC

Editor(s): Curzon, P., Cerone, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS)

Year of Conference: 2007

Pages: 67-82

Publisher: Queen Mary, University of London, Department of Computer Science

Notes: Pre-proceedings of FMIS 2007 available as Queen Mary, University of London, Department of Computer Science, Technical report RR-07-08. Revised version of paper published in Electronic Notes in Theoretical Computer Science, vol. 208, pp.41-55, Elsevier, 2008.