Filters: Author is Grigore Rosu  [Clear All Filters]
2022
L. Putruele, Demasi, R., Castro, P. F., and D'Argenio, P. R., 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, D. Fisman and Rosu, G., Eds. Springer, 2022, pp. 396–403.PDF icon paper-375.pdf (453.21 KB)