The Open UniversitySkip to content
 

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.

Google Scholar: Look up in Google Scholar
Item Type: Conference Item
Copyright Holders: 2008 Not known
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Related URLs:
Item ID: 31596
Depositing User: Jon Hall
Date Deposited: 17 Jan 2012 11:20
Last Modified: 22 Oct 2012 10:18
URI: http://oro.open.ac.uk/id/eprint/31596
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