Scalable Analysis of Fault Trees with Dynamic Features
| Title | Scalable Analysis of Fault Trees with Dynamic Features |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Krčál, J, Krcál, P |
| Conference Name | 45th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2015, Rio de Janeiro, Brazil, June 22-25, 2015 |
| URL | http://dx.doi.org/10.1109/DSN.2015.29 |
| DOI | 10.1109/DSN.2015.29 |
Work Package:
WP1
