Safety process improvement with POSE and Alloy

Mannering, Derek; Hall, Jon and Rapanotti, Lucia (2007). Safety process improvement with POSE and Alloy. In: Saglietti, F and Oster, N eds. Computer Safety, Reliability, and Security. Lecture Notes in Computer Science, 4680/2007. Berlin: Springer, pp. 252–257.

DOI (Digital Object Identifier) Link:	http://dx.doi.org/doi:10.1007/978-3-540-75101-4_23
Google Scholar:	Look up in Google Scholar

Item Type:	Book Chapter
ISBN:	3-540-75100-9, 978-3-540-75100-7
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	9587
Depositing User:	Jon Hall
Date Deposited:	05 Oct 2007
Last Modified:	02 Dec 2010 20:05
URI:	http://oro.open.ac.uk/id/eprint/9587

Actions (login may be required)

	View Item
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Report issue / request change