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

AuthID
 P-00G-DMB
5
Author(s)
Furniss, D
·
Curzon, P
·
Blandford, A
1
Editor(s)
Paris Avgeriou
Document Type
Proceedings Paper
Year published
2012
Published
in Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7527, Pages: 150-164
Conference
4Th International Workshop on Software Engineering for Resilient Systems, Serene 2012, Date: 27 September 2012 through 28 September 2012, Location: Pisa
Indexing
Scopus®
Dblp®/en/publications/view/538251
Crossref®5
Google Scholar®
Publication Identifiers
DBLP: conf/serene/MasciFCHB12
SCOPUS: 2-s2.0-84867660171
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.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service