Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain

Lookup NU author(s): Professor Michael HarrisonORCiD

Downloads

Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer Verlag, 2012.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Masci P, Furniss D, Curzon P, Harrison MD, Blandford A

Editor(s): Avgeriou, P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Software Engineering for Resilient Systems: Fourth International Workshop (SERENE)

Year of Conference: 2012

Pages: 150-164

Date deposited: 08/03/2013

ISSN: 0302-9743

Publisher: Springer Verlag

URL: http://dx.doi.org/10.1007/978-3-642-33176-3_11

DOI: 10.1007/978-3-642-33176-3_11

Notes: E-ISBN: 9783642331763

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642331756

Share