Toggle Main Menu Toggle Search

Open Access padlockePrints

Using PVS to Investigate Incidents through the Lens of Distributed Cognition

Lookup NU author(s): Professor Michael HarrisonORCiD


Publication metadata

Author(s): Masci P, Huang H, Curzon P, Harrison MD

Editor(s): Goodloe, A.E., Person, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: NASA Formal Methods: 4th International Symposium (NFM)

Year of Conference: 2012

Pages: 273-278

Date deposited: 08/03/2013

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-642-28891-3_27

Notes: E-ISBN: 9783642288913

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642288906