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 -