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 Mar - 1 Apr 2007, Braga, Portugal.

URL: http://www.di.uminho.pt/etaps07/

Viewing alternatives

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 19135
• Item Type
• Conference or Workshop Item
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Research Group
• Centre for Research in Computing (CRC)
• Depositing User
• Lucia Rapanotti