Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Pavel Krcál  [Clear All Filters]
2015
J. Krčál and P. Krcál, “Scalable Analysis of Fault Trees with Dynamic Features”, in 45th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2015, Rio de Janeiro, Brazil, June 22-25, 2015, 2015.