TY - GEN
AU - Bodennec, Christine
AU - Jourdain, Chantal
AU - Mazuet, Christine
AU - Garnier, Robert
AU - Perez, Daniel
TI - Dependability of Safety Critical Systems: Complementarity of Probabilistic and Formal Methods
PB - Elsevier BV
SN - 1474-6670
KW - General Economics, Econometrics and Finance
PY - 1998
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation