Filters: Author is Tomás Vojnar  [Clear All Filters]
2019
P. F. Castro, D'Argenio, P. R., Demasi, R., and Putruele, L., Measuring Masking Fault-Tolerance, in Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, vol. 11428, T. Vojnar and Zhang, L., Eds. Springer, 2019, pp. 375–392.PDF icon paper-343.pdf (509.7 KB)