> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Dependability of Safety Critical Systems: Complementarity of Probabilistic and Formal Methods Beteiligte: Bodennec, Christine; Jourdain, Chantal; Mazuet, Christine; Garnier, Robert; Perez, Daniel Erschienen: Elsevier BV, 1998 Erschienen in: IFAC Proceedings Volumes Sprache: Englisch DOI: 10.1016/s1474-6670(17)40662-8 ISSN: 1474-6670 Schlagwörter: General Economics, Econometrics and Finance Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang