كتاب إلكتروني
: A Probabilistic Logic for Fault Trees
العنوان: | : A Probabilistic Logic for Fault Trees |
---|---|
المؤلفون: | Nicoletti, Stefano M.Aff10, Lopuhaä-Zwakenberg, MilanAff10, Hahn, E. MoritzAff10, Stoelinga, MariëlleAff10, Aff11 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Chechik, Marsha, editorAff7, Katoen, Joost-Pieter, editorAff8, Leucker, Martin, editorAff9 |
المصدر: | Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. 14000:199-221 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783031274800 9783031274817 |
---|---|
DOI: | 10.1007/978-3-031-27481-7_13 |