Developing critical systems with PLD components

Hilton, Adrian and Hall, Jon G. (2005). Developing critical systems with PLD components. In: 10th International Workshop on Formal Methods for Safety Critical Systems, 2005.

URL:	http://portal.acm.org/citation.cfm?id=1081180.1081...
Google Scholar:	Look up in Google Scholar

Item Type:	Conference Item
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	9596
Depositing User:	Jon Hall
Date Deposited:	04 Oct 2007
Last Modified:	02 Dec 2010 20:05
URI:	http://oro.open.ac.uk/id/eprint/9596

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