The Open UniversitySkip to content
 

Safety process improvement with POSE and Alloy

Mannering, Derek; Hall, Jon and Rapanotti, Lucia (2007). Safety process improvement with POSE and Alloy. In: Saglietti, F and Oster, N eds. Computer Safety, Reliability, and Security. Lecture Notes in Computer Science, 4680/2007. Berlin: Springer, pp. 252–257.

DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1007/978-3-540-75101-4_23
Google Scholar: Look up in Google Scholar
Item Type: Book Chapter
ISBN: 3-540-75100-9, 978-3-540-75100-7
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 9587
Depositing User: Jon Hall
Date Deposited: 05 Oct 2007
Last Modified: 02 Dec 2010 20:05
URI: http://oro.open.ac.uk/id/eprint/9587
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