|
[ENT08]
J. Elmqvist and S. Nadjm-Tehrani.
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.
In Proc. High Assurance Systems Engineering Symposium (HASE'08).
December 2008.
[bib]
http://www.ida.liu.se/~rtslab/publications/publications.shtml
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.ida.liu.se/~rtslab/publications/publications.shtml
|