Publications

Using Pvs to Investigate Incidents Through the Lens of Distributed Cognition

AuthID
P-00G-DM8

Author(s)

Masci, P

Huang, H

Curzon, P

Harrison, MD

Editor(s)

Alwyn Goodloe; Suzette Person

Document Type

Proceedings Paper

Year published

2012

Published

in NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7226, Pages: 273-278

Conference

4Th Nasa Formal Methods Symposium, Nfm 2012, Date: 3 April 2012 through 5 April 2012, Location: Norfolk, VA

Indexing

Scopus^®

Dblp^®/en/publications/view/538248

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

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

Dblp: conf/nfm/MasciHCH12

Scopus: 2-s2.0-84859465087

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Using Pvs to Investigate Incidents Through the Lens of Distributed Cognition

Useful Links

Get Help

Federated Authentication (Click on the image)

Using Pvs to Investigate Incidents Through the Lens of Distributed Cognition

Useful Links

Get Help