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

Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions

Export

About

Recommendations