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

Look up in Google Scholar

Metrics

Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions
No digital document available to download for this item

Item Actions

Export

About

CORE (COnnecting REpositories)