%PDF-1.6
%
1 0 obj
<>stream
application/pdfIEEEIEEE Access;2019;7; ;10.1109/ACCESS.2019.2902796Fault treetemporal eventsradiation effectssingle-event effectsstatistical model-checkingformal verificationsystem-level analysisreliabilityavailabilityTowards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs)Marwan AmmarGhaith Bany HamadOtmane Ait MohamedYvon Savaria
IEEE Access29264 2019710.1109/ACCESS.2019.290279629276
endstream
endobj
2 0 obj
<>stream
H7Q pdٕe7
#XJdP4(Tל̻;s7~2GP\9Ҁpf0l}^?shi}GGw/"z$3EU=JpUWKwFe5f\28?Z!N6S5wwYCSsUu_OCg-˩P"#.rR*$}Ĵzͤc!TGNLXX#)jKWXi1N64l!nҲ*`պ`0ػH rhC|~n0nwf1؎_g>V/ e
endstream
endobj
3 0 obj
[/Indexed/DeviceRGB 115 4 0 R]
endobj
4 0 obj
<>stream
HO0Rʭ@)J)wcncQe