Filters: Author is Grigore Rosu [Clear All Filters]
“MaskD: A Tool for Measuring Masking Fault-Tolerance”, in Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, vol. 13243, Springer, 2022, pp. 396–403. paper-375.pdf (453.21 KB)
,