Safety process improvement with POSE and Alloy

Mannering, Derek; Hall, Jon and Rapanotti, Lucia (2008). Safety process improvement with POSE and Alloy. In: Safety-critical Systems Symposium 2008, 5-7 Feb 2008, Bristol.

DOI: https://doi.org/10.1007/978-1-84800-100-8_3

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI

About

• Item ORO ID
• 31596
• 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)
• Copyright Holders
• © 2008 Not known
• Related URLs
• • http://www.scsc.org.uk/file/60/i60-1.pdf(Other)
• Depositing User
• Jon Hall