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

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

ePrints