Toggle Main Menu Toggle Search

ePrints

Using PVS to Investigate Incidents through the Lens of Distributed Cognition

Lookup NU author(s): Professor Michael Harrison

Downloads


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

ISSN: 0302-9743

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-642-28891-3_27

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


Actions

Link to this publication


Share