Fuzzy Fault Trees: the Fast and the Formal

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dang, Thi Kim Nhung, Peterseim, Benedikt, Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle
Format:	Preprint
Published:	2025
Subjects:	General Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2507.02886