Safety process improvement with POSE and Alloy

Mannering, Derek; Hall, Jon and Rapanotti, Lucia (2008). Safety process improvement with POSE and Alloy. In: Safety-critical Systems Symposium 2008, 5-7 Feb 2008, Bristol.

Google Scholar:	Look up in Google Scholar

Item Type:	Conference Item
Copyright Holders:	2008 Not known
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Related URLs:	http://www.scsc.org.uk/file/60/i60-1.pdf(Other)
Item ID:	31596
Depositing User:	Jon Hall
Date Deposited:	17 Jan 2012 11:20
Last Modified:	22 Oct 2012 10:18
URI:	http://oro.open.ac.uk/id/eprint/31596

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	Public: Report issue / request change