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
Mathematics, Computing and Technology
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: 18 Jan 2016 12:01
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