Filters: Author is Lijun Zhang [Clear All Filters]
“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, Springer, 2019, pp. 375–392. paper-343.pdf (509.7 KB)
, “Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains”, in Model Checking Software - 17th International SPIN Workshop, 2010, vol. LNCS 6349, pp. 193-211. paper-11.pdf (315.45 KB)
,