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: Mathematics, Computing and Technology > Computing & Communications
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 Dec 2010 20:42
URI: http://oro.open.ac.uk/id/eprint/19135
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