The Open UniversitySkip to content
 

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, pp. 385–395.

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 & Communications
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
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk