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: https://doi.org/10.1007/978-3-540-75101-4_23

Viewing alternatives

Metrics

Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions

Export

About

Recommendations