OKAMURA, Hiroyuki; DOHI, Tadashi; TRIVEDI, Kishor. Parametric Uncertainty Propagation through Dependability Models. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 8. , 2018, Foz do Iguaçu. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . p. 10-18.