The Open UniversitySkip to content
 

A problem-oriented approach to normal design for safety-critical systems

Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia (2007). A problem-oriented approach to normal design for safety-critical systems. In: European Joint Conferences on Theory and Practice of Software (ETAPS), 24 March - 1 April 2007, Braga, Portugal.

URL: http://www.di.uminho.pt/etaps07/
Google Scholar: Look up in Google Scholar
Item Type: Conference Item
Academic Unit/Department: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 19135
Depositing User: Lucia Rapanotti
Date Deposited: 04 Dec 2009 14:06
Last Modified: 02 Aug 2016 13:34
URI: http://oro.open.ac.uk/id/eprint/19135
Share this page:

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

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