Formal Support for Quantitative Analysis of Residual Risks (2008)

by J Elmqvist, S Nadjm-Tehrani
Venue:in Safety- Critical Systems. Proceedings of HASE 2008, Nanjing